- New “Fake Proof” of
1 = 2
- New “Drinking Theorem”
- New demonstrations of equation-solving with Prooftoys, links in the “Hands-on” page.
- Focus on stable and predictable operations so proofs remain completely valid as the implementation changes.
- Extensive work on indenting proof steps for clarity and easy reading.
- Natural Numbers Game extensive hands-on tutorial
- Initial versions of other tasty example proofs, in the hands-on section of the site.
- Tidy up solutions for linear equations of 1 and 2 variables