Popular repositories

1. pise pise Public

   PISE, the Proofscape Integrated Study Environment

   Python 2 1

2. pfsc-pdf pfsc-pdf Public

   Fork of pdf.js for use with Proofscape

   JavaScript 1

3. sympy sympy Public

   Forked from sympy/sympy

   A computer algebra system written in pure Python

   Python

4. pfsc-util pfsc-util Public

   Utilities for Proofscape

   Python

5. displaylang displaylang Public

   Just enough Python to write displays

   Python 1

6. pfsc-examp pfsc-examp Public

   Example explorers for Proofscape

   Python