PISE, the Proofscape Integrated Study Environment#


PISE is our flagship software product. It’s many things:

  • A place to study, annotate, and teach proofs

  • An open-source project

  • A web app

  • A desktop app

  • and of course, a work in progress.


There are multiple projects that go together to make PISE work, but the two primary ones are:

If you are interested in helping to improve the software, please follow these links to the project GitHub pages to get started.