Logo

You Can Prove It.
Prooftoys can help.

  • Introduce yourself to logic concepts through pictures.

This site has explanations of concepts at work in mathematical logic and the Prooftoys system, with interactive pictures like these:

sample logic graphic

Move on to:

A more finished version of the proof builder is targeted for solving simple equations, at the companion Mathtoys site.

The core of the system is proudly free and open source software, hosted on GitHub.