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

Learn math with ease. Lurch Liteis a utility for teaching and learning mathematical proofs Where most mathematical proof program concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.

Lurch Lite Features:
1. TeX-enabled word processor
2. Built on OpenMath for unambiguous semantics
3. JavaScript engine for customizing validation
4. Several math topics built in
5. Users can add new math topics

The license of this software is Free, you can free download and free use this calculator software.