pyvideo.org: Videos of Bob Nevelnhttp://pyvideo.org/speaker/406/bob-neveln/rssen-usSun, 11 Mar 2012 00:00:00 -060050031. ProofCheck: Checking Mathematical Proofs written in TeX http://pyvideo.org/video/732/31-proofcheck-checking-mathematical-proofs-writ<p>Abstract</p>
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, ProofCheck attempts to handle mathematical language formalized
according to the author's preferences as much as possible.
Bob NevelnSun, 11 Mar 2012 00:00:00 -0600http://pyvideo.org/video/732/31-proofcheck-checking-mathematical-proofs-writ