All the software listed below is free, available for Windows, Mac OS X, and various Unix flavors.

Toy Proofs

Screenshots shown here; read more on the Download page.

Choosing an activity

(shown on Mac OS X)

Playing Scrambler

(shown on Mac OS X)

Playing Circle-Dot

(shown on Ubuntu Linux with Gnome)

Lurch Lite

Screenshots shown here; read more on the Download page.

Intro screen

(shown on Windows XP)

Choosing a topic

(shown on Mac OS X)

Taking derivatives

(shown on Ubuntu Linux with Gnome)

Doing a simple proof

(shown on Mac OS X)

Lurch

(Coming later in 2009)