**Lurch** is powerful, FREE, cross platform software for teaching and learning mathematical proofs! It is a simple math word processor with a general-purpose math checker built in!

Description

Software for teaching and learning mathematical proofs

Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.

Categories

Computer Aided Instruction (CAI), Mathematics

License

GNU General Public License version 2.0 (GPLv2)

**Additional Project Details:**

Intended Audience

Education, Science/Research

User Interface

Qt

Programming Language

C++, JavaScript

Registered

2007-06-25

About

Your word processor has spelling and grammar checkers. Your math word processor should check your math. (Not just arithmetic, but algebra, calculus, and proofs as well.)

That is what Lurch does; it is a simple math word processor with a general-purpose math checker built in. The project began in June 2008 and version 0.75 has recently been released. You can download it free for Windows, Mac, or Linux.

Lurch 0.8 Released on April 3, 2014! (Download) (Troubles? See our FAQ!)

Lurch now supports full mathematical typesetting of math expressions in either TeX or calculator notation. This is a major release, following version 0.7992. See release notes here.

Mission Statement

- Lurch should be as indistinguishable from the ordinary activities of mathematics as possible, except for the additional services it provides. That is, it should only add to your math experience, not change your math experience.

Features | Status |

TeX-enabled word processor | only unicode math symbols for now, more math rendering coming |

built on OpenMath for unambiguous semantics | done and thoroughly tested |

JavaScript engine for customizing validation | done and thoroughly tested |

several math topics built in | several now, more coming |

users can add new math topics | |

*Lurch*, look no further than the free, online introductory logic textbook forallX, now updated to include Lurch lessons throughout.

Original text

For several years, this author (Nathan Carter) has used the textbook forallX by P.D. Magnus in his introduction to logic course for honors students at Bentley University

Lurch integration

Since *Lurch* became mature enough to handle the course content, I wanted a book that integrated *Lurch**forallX in Lurch*is *Lurch,*- Know math but not
*Lurch?* Want to learn without figuring it all out on your own? Flip through the text, skip the math you already know, and just focus on the software lessons. They begin at the very beginning (installing *Lurch* and typing text) and end at the advanced (declaring variables and using them in proofs with quantifiers).

Enjoy!

**http://lurch.sourceforge.net/**

http://lurchmath.org/2014/01/13/free-lurch-book/

http://sourceforge.net/projects/lurch/

http://sourceforge.net/projects/lurch/files/latest/download