PISE, the Proofscape Integrated Study Environment#
A place to study and annotate proofs
An open-source project
A web app
A desktop app
Tour of Features: For an introduction to the features of PISE, try taking the ZB119 Tutorial.
Try it yourself: Open the demo workbook, where you can edit and build modules online.
Download: Get the Proofscape ISE