ProofCheck: Checking Mathematical Proofs written in TeX(pyvideo.org)

2 pointsby ranit814 lat temu1 comments

http://pyvideo.org/video/732/31-proofcheck-checking-mathematical-proofs-writ

1 comments

b2rock14 lat temu

It sounds promising, but it is hard to see how this would be useful on something that is anything above basic.