Prooftoys
Links
Documentation
Terms and concepts
The language
Prooftoys reasoning
Axioms and theorems
Logic through pictures
Symbols quick reference
Technical notes
Privacy information
Hello
World