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. Any version of Python 2 should be ok;
2.6.7
is suggested if you do not already have Python installed.
Versions
-
To install proofcheck 1.0, extract the files from the zip file,
log in as the Administrator,
double click on the file named install.py
and log out.