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.

All new authors should at least complete the Basics section, for an introduction to each of the Proofscape Data Types, as well as to PISE, the Proofscape Integrated Study Environment.

Those interested in learning more can continue onward, and may pick and choose topics of interest in the Additional Topics section.

• Basics
  • Part 1: Getting Started with Deductions
  • Part 2: Annotations
  • Part 3: Sphinx Pages
  • Part 4: Doc Widgets
  • Part 5: Doc Labels
  • Conclusion
• Additional Topics
  • Part 6: Example Explorers
  • Part 7: Navigation Groups
  • Conclusion