Lurch is a mathematical word processor that checks the reasoning in users' documents, even mathematical proofs. - View it on GitHub