Software for teaching and learning mathematical proofs
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.