ToyProofs 0.1 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Retrouvez ToyProofs dans notre catégoie Éducation et Science et plus précisément Outils d'éducation. C'est grâce à The Lurch Project que ce logiciel gratuit a vu le jour. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs.
Du développeur:
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.
Que diriez-vous d'essayer aussi des logiciels en rapport avec ToyProofs ? Nous vous proposons Quincy 2005, pdfsam ou Litle Fight 2.