OpenLogicProject / forallx

P.D. Magnus' forallx logic textbook
64Updated last year

Alternatives and similar repositories for forallx:

Users that are interested in forallx are comparing it to the libraries listed below