4 ms·
> writing proofs In this vein, there is the Incredible Proof Machine‡, an interactive visual proof assistant designed for introducing beginners to mathematical
by feanaro 8y ago
> writing proofs
In this vein, there is the Incredible Proof Machine‡, an interactive visual proof assistant designed for introducing beginners to mathematical proofs.
‡ http://incredible.nomeata.de/ http://incredible.nomeata.de/