LurchLite

Lurch is a word processor with the ability to check the steps of your work in many areas of mathematics, from calculus to logic.

Main features:

- TeX-enabled word processor
- built on OpenMath for
- unambiguous semantics
- JavaScript engine for customizing validation
- several math topics built in
- users can add new math topics