Documentation

These are documentation sections currently available in rough suggested order of reading. This is still work in progress. Please send questions or report issues by email to the author or on Github with the “docs” label.

Using the tool

• Introduction to the proof builder tool

Logic concepts

• Logic through pictures

Prooftoys documentation

• Prooftoys logic concepts
• The Prooftoys language
• Principles of reasoning in Prooftoys
• More reasoning with Prooftoys
• Technical notes

The Wiki

Draft documentation in progress and notes may be found in the Prooftoys Wiki (on GitHub). Community collaboration in Wiki pages, and questions are encouraged!

Reference

• Syntax quick reference
• Axioms and theorems
• Logic facts
• Real number facts
• Advanced quantifier laws