ToyProofs 0.1 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. O desenvolvedor do programa é The Lurch Project. O programa fica na subcategoria Ferramentas de Ensino, que fica dentro de Educação.
Do desenvolvedor:
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.
Confira mais programas, tais como Quincy 2005, pdfsam ou Litle Fight 2, que podem ser relacionados a ToyProofs.