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

Typos #337

Closed greleigh closed 11 months ago

greleigh commented 11 months ago

Typo in

rzach commented 11 months ago

Thanks!