The Prooftoys website and its software are ongoing experiments in creating computer aids to help human beings do mathematics. The application software is proudly open source, hosted at Github, primarily in the crisperdue/prooftoys repository. Our goal is to create computer math tools that are useful, attractive, and valuable to people learning (or doing) mathematics at many levels and universally available.
About the logic
Getting in touch
One of the goals of this website is to develop a friendly community of users around the tools here and using computers for mathematical reasoning. Feel free to say “hello” to the author through email.
Or he is also on Slack.com. You can use this link to connect there.