ToyProofs 0.1 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist. Diese Software gehört zur Kategorie "Bildung und Wissenschaft" und Unterkategorie "Lehrsoftware". Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind. Der eigentliche Entwickler dieser kostenlosen Software ist The Lurch Project.
Vom Entwickler:
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.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Simple Sticky Notes, J2SE Runtime Environment Update oder Simple Shutdown Timer informieren, die an ToyProofs ähnlich sein können.