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 #338

Closed pitmonticone closed 10 months ago

pitmonticone commented 10 months ago

Hi @rzach, I've just fixed a few more typos.

rzach commented 10 months ago

Thanks!