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.
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.