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
- Tutorial for Authors
- Meson Language Tutorial