Download ProofCheck for Posix

Download ProofCheck for Linux, Unix, and OS-X

Versions

ProofCheck requires TeX and Python. It should work with any version of TeX but most recommended is the TeX Live distribution. Versions for both Python 2 and Python 3 are both available but only that for Python 3 is maintained.

proofcheck-1.0.tar.gz Version 1.0, for Python 2
proofcheck-1.1.tar.gz (alpha) Version 1.1, for Python 2
proofcheck-2.3.tar.gz (alpha) Version 2.3, for Python 3
proofcheck-2.5.tar.gz (alpha) Version 2.5, for Python 3
proofcheck-2.7.tar.gz (alpha) Version 2.7, for Python 3

Download ProofCheck for Linux, Unix, and OS-X

Versions

proofcheck-1.0.tar.gz Version 1.0, for Python 2

proofcheck-1.1.tar.gz (alpha) Version 1.1, for Python 2

proofcheck-2.3.tar.gz (alpha) Version 2.3, for Python 3

proofcheck-2.5.tar.gz (alpha) Version 2.5, for Python 3

proofcheck-2.7.tar.gz (alpha) Version 2.7, for Python 3