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
  • Expansion Modes
• Tutorial for Authors
  • Basics
  • Additional Topics
• Meson Language Tutorial
  • Inference
  • Support
  • Combining inference and support
  • Modals
  • Flowing
  • Roaming
  • Methods
  • Special Nodes
  • Rules
  • Grammar
  • Conclusion