SSealbook

OpenLogicProject/OpenLogic

An open-source, customizable intermediate logic textbook