Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Mathigon – an interactive, personalized mathematics textbook. Parent comment
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/
There are no comments on this comment yet.
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/