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