OpenLogicProject / OpenLogicView on GitHub
An open-source, customizable intermediate logic textbook
1,260Feb 17, 2026Updated last week

Alternatives and similar repositories for OpenLogic

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

Sorting:

Are these results useful?