search

OpenLogicProject / OpenLogic

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

Fix small typo #330

Closed abrahimladha closed 1 year ago

abrahimladha commented 1 year ago

"Wwe" becomes "We"