GitHub repository: napen123/OpenLogic
Description: An open-source, customizable intermediate logic textbook