Software for teaching and learning mathematical proofs
Lurch is a free and open source math word processor with a general-purpose math checker built in.
In a hurry? Add it to your Download Basket!
What's New in This Release:
- Typeset mathematics is now available throughout the application, for both meaningful and non-meaningful mathematics.
- A new set of classroom-tested topics has been added to Lurch.