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.
Contributing#
There are multiple projects that go together to make PISE work, but the two primary ones are:
pfsc-ise: the client-side code
pfsc-server: the server-side code
If you are interested in helping to improve the software, please follow these links to the project GitHub pages to get started.