Components#

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

Python projects#

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