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