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.