We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Move Icelandic translation; revise fx: R^3 description
Updated Other Logic Textbooks (markdown)
add DeLancey proof checker
add HTML link for fx:YYC
add Auckland and Pecs versions of forallx
add Walsh's text
Add fx:R3
spanish translation of forall x, better links, sort by last name, add some OLP texts
second download site for Pospesel & Marans
add forallx:Pitt
add translations
add github link for UBC
2 more remixes of forall x, new book by Derek Turner
Updated Contributing (markdown)
update links
new link to Tony Roy's book
add Proofs and Concepts