Components#

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

Python projects#

  • pfsc-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

  • pfsc-manage: Tooling for Proofscape development

JavaScript projects#

  • pfsc-ise: 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