ToyProofs 0.1 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. El auténtico artífice de este programa sin coste es The Lurch Project. ToyProofs es un programa del tipo Educación y Ciencia.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Simple Sticky Notes, J2SE Runtime Environment Update o Simple Shutdown Timer, que podrían ser similares a ToyProofs.