Fix a few typos - Githubissues

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.08k stars 242 forks source link

Closed pitmonticone closed 1 year ago

pitmonticone commented 1 year ago

Hi @rzach @avigad and contributors, I've just fixed a few typos I've collected while reading and skimming the chapters of this brilliant resource.

rzach commented 1 year ago

Thanks!

pitmonticone commented 1 year ago

Thank you @rzach for your effort! Let me know if you believe it could be helpful if I join this GitHub organisation as a member.