Lurch is a word processor equipped with mathematical skills designed to correctly validate students' work.

The goal of Lurch is to allow you to do all of the things that you normally do when communicating mathematics. Instructors can type handouts or notes or assignments. Students can read the handouts, take notes, and complete the assignments. The main difference is that Lurch strives to validate their work... i.e. to check if it is correct!

This example of a Lurch document illustrates just one way that Lurch might be used. The instructor has provided the students with the axioms that define a group, proved some theorems as notes, and added an Exercise to the end, which t...Read more about Lurch Lite