Lurch

Lurch: Software for Teaching and Writing Mathematical Proofs. If your word processor can check your spelling and grammar, shouldn’t a math word processor be able to check your computations and inferences? Although this is a tall order, it is the aim of the Lurch Project (http://lurch.sourceforge.net), a new piece of mathematical software under development. The developers will share their goals for the software, as well as how they have used it in their upper-division math classes to introduce students to proof-writing. We will address the benefits and challenges of using software when teaching proof-writing, and the degree to which the current version of Lurch meets those challenges. The talk will also address how individual instructors can customize Lurch to the needs of their textbooks and courses.