search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.02k stars 234 forks source link

Fix typos #332

Closed vladh closed 1 year ago

vladh commented 1 year ago

Thank you for this lovely textbook. :)

rzach commented 1 year ago

Thanks!