News
04/2023
- Natural Numbers Game extensive hands-on tutorial!
In progress
- More details on advanced features of Prooftoys and its logic, especially based on site usage and requests.
- 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
- Tidy up demonstration of division by zero