Tutorials

If you are new to Proofscape and PISE, the Proofscape Integrated Study Environment, the tutorials are a great way to get started.

• Users: For a tour of the browsing and visualization features of PISE, try the Tutorial for Users.

• Authors: If you want to start writing your own Proofscape modules, try the Tutorial for Authors.

• Meson: Steps are linked together into proofs using a simple language called Meson. You can learn by example in the Meson Language Tutorial.

• Tutorial for Users
  • Theorem 119 Tutorial
  • Linking
  • Multiple Screens
• Tutorial for Authors
  • 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
• Meson Language Tutorial
  • Inference
  • Support
  • Combining inference and support
  • Modals
  • Flowing
  • Roaming
  • Methods
  • Special Nodes
  • Rules
  • Grammar
  • Conclusion