Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Mar 13, 2012
Bob Neveln ProofCheck is a set of Python scripts which parse and check mathematics written using TeX. Its homepage is www.proofcheck.org. Unlike computer proof assistants which require immersion in the equivalent of a programming language, ProofChe