Download ProofCheck for Windows

Download ProofCheck for Windows

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 available but only that for Python 3 is maintained.

Versions

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

To install proofcheck, extract the files from the zip file and double click on the file named install.py . You may need to log in as Administrator when you do this.