ProofCheck: Checking Mathematical Proofs written in TeXhttp://pyvideo.org/video/732/31-proofcheck-checking-mathematical-proofs-writ by ranit8 • 14 years ago 2 1 14 years agoPYpyvideo.org