Small typo in section on BHK-interpretation - Githubissues

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.04k stars 237 forks source link

Small typo in section on BHK-interpretation #322

Closed feffemannen closed 1 year ago

rzach commented 1 year ago

Thanks!