Lurch is a word processor that can check your mathematical reasoning.
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.
