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