An open-source, customizable intermediate logic textbook
Latest commits.
Builders behind this project.
