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.
Logic concepts
Prooftoys documentation
- Prooftoys logic concepts
- The Prooftoys language
- Principles of reasoning in Prooftoys
- More reasoning with Prooftoys
- Technical notes