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