ToyProofs

ToyProofs 0.1

Free
Simple playground environment for introducing students to mathematical proofs
 
0.1 (See all)
The Lurch Project

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.

Open source
Info updated on: