Components

Proofscape is implemented in a number of different software components, each of which is open-source, and invites contributions.

Python projects

• pise-server: The language compiler, as well as server side of the PISE web app

• sphinx-proofscape: Sphinx extension for Proofscape annotations

• pfsc-examp: Example explorer widgets using SymPy in PISE

• displaylang: The language for writing displays in example explorers

• pfsc-util: Miscelaneous utility functions and classes

• pise-manage: Tooling for PISE development

JavaScript projects

• pise-client: The client side of the PISE web app

• pfsc-moose: Navigable, expandable, and collapsable proof diagrams

• pbe: The Proofscape Browser Extension, providing support for PDFs in PISE

Forked projects

Fork	Forked from	Language	Description
displaylang-sympy	SymPy	Python	Supports example explorers in PISE
pfsc-pdf	pdf.js	JavaScript	Supports browsing PDFs in PISE