Contribute Media
A thank you to everyone who has made this possible: Read More

31. ProofCheck: Checking Mathematical Proofs written in TeX


ProofCheck is a set of Python scripts which parse and check mathematics written using TeX. Its homepage is Unlike computer proof assistants which require immersion in the equivalent of a programming language, ProofCheck attempts to handle mathematical language formalized according to the author's preferences as much as possible.


Improve this page