ProofCheck: Checking Mathematical Proofs written in TeX

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