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.
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.