Get the Proofscape ISE

Whether you are a content creator ready to start authoring Proofscape modules, or a developer eager to help improve the ISE software, it’s easy to get up and running.

For Content Creators

If you want to author Proofscape modules, the best way is to run the Proofscape ISE on your own computer. See Basic Operation of the Proofscape ISE, and then be sure to do the Tutorial for Authors.

For Developers

Proofscape is an open-source project that welcomes contributions from anyone who wants to help improve the software. If that’s you, the place to get started is the pise-manage readme.

See also the Components, for an overview of the different code repositories that make up Proofscape.