An open-source, customizable intermediate logic textbook
Why do you think that https://github.com/Clopen-Analysis/latex is a good alternative to OpenLogic
An open-source, customizable intermediate logic textbook
Why do you think that https://github.com/Clopen-Analysis/latex is a good alternative to OpenLogic