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