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.