Cubesoup/OpenLogic

An open-source, customizable intermediate logic textbook