search

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

Fixed Typos in Appendix A Intro and Other Changes #278

Closed Pi-Cla closed 2 years ago

Pi-Cla commented 2 years ago

Let me summarize the changes I have made. I first fixed some typos by removing a word from two sentences: "A lemma is a proposition or theorem that is used to in the proof of a more important result." and "A statement to be proved often contains some assumption that clarifies about which kinds of things we're proving something."

Then I fixed an equation in subsection 2.6 with the details in the ... right next to that change.

Pi-Cla commented 2 years ago

As far as I am aware, this should be merged now. Let me know if there's anything I need to fix here. Information on the changes can be seen with the ellipses.