search

OpenLogicProject / OpenLogic

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

Yet another small typo. #276

Closed feffemannen closed 3 years ago

feffemannen commented 3 years ago

Same typo as before appearing an another row.