Tutorial for Authors

This tutorial is for anyone who wants to start writing their own Proofscape modules. If you are interested in learning how to use PISE to browse existing modules, please see the Tutorial for Users instead.

We assume that you have already installed and started PISE, following the Basic Operation of the Proofscape ISE guide.

• Part 1: Getting Started with Deductions
• Part 2: Annotations
• Part 3: Sphinx Pages
• Part 4: Doc Widgets
• Part 5: Doc Labels
• Part 6: Example Explorers
• Conclusion