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