5 ms·ProofCheck: Checking Mathematical Proofs written in TeX2 points by ranit8 14y agob2rock 14y agoIt sounds promising, but it is hard to see how this would be useful on something that is anything above basic.