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