GitHub repository: lockhartthomas/OpenLogic
Primary language: TeX
Description: An open-source, customizable intermediate logic textbook