ProofCheck Online
First Upload the TeX Manuscript
Filename:
If your TeX file requires a .tdf or .ldf file you may upload that as well.
Then Run Parse or Check
Check the Syntax
Check a Proof
Theorem Number:
The Theorem Number is needed only if you are running "Check a Proof"