Proofscape Reference

This reference manual first introduces the fundamental concepts of the Proofscape library, and then goes on to provide all the rules for defining the various Data Types (deductions, annotations, Sphinx pages, etc.).

If you are just getting started with Proofscape, you may want to start with the Tutorials, and turn to this reference only when you need to know the exact details for writing Proofscape modules.

Fundamentals

• The Proofscape Library
  • Data Types and Content Types
  • Library Basics
  • pfsc files
  • rst files

Data Types

• Deductions
  • Deductions
  • Nodes
  • Node Types
  • Subdeductions
  • Contradictions and Cases
  • WOLOG
  • Downward Flow
• Pages
  • Page types
• Widgets
  • The four widget components
  • Widget Specs
• Running Definitions
  • Recording running defs
  • Using running defs
  • Choosing how to encode definitions

Other Reference Material

• Doc Refs
  • Doc ref strings
  • Doc Info Objects
  • Box Combiner Codes
• Proofscape-flavored JSON
  • Strings
  • Unquoted keys
  • Trailing commas
  • Libpaths