All downloads are free software, available for Windows, Mac OS X, and various Unix flavors.

Toy Proofs

The first application we released, this is a simple playground environment for introducing students to the notion of formality and rigor in mathematical proofs. It comes with HTML documentation that explains the progression of lessons through three increasingly mathematical games.

See Toy Proofs screenshots:

Lurch Lite

A step on the way to our goal, Lurch Lite is not a full word processor, but is an environment in which many mathematical topics can be explored in-depth. See the About page for more information on Lurch Lite, or the Lurch Lite page for a description of what the "lite" entails.

See Lurch Lite screenshots:

Lurch

We aim for a first release of Lurch some time in 2009. We chose to call the early versions we've release so far "Lurch Lite" (see above) because we've only implemented a subset of the features we aim for; notably Lurch Lite lacks WYSIWYG text and math editing, a variety of validation mechanisms, and easy extensibility by instructors.

(Coming later in 2009)