Lurch: a word processor that can grade students' proofs.
Nathan C. Carter, Kenneth G. Monks · 2013
Abstract. Lurch [1] is a free word processor that can check the mathematical reasoning in a document. Most notably, it can check the steps of a mathematical proof, even one not written in a formal style. The current version works best for undergraduate introduction-to-proof courses, and this paper covers our goals, current interface, and some results of classroom testing. 3