search

leanprover / theorem_proving_in_lean

Theorem proving in Lean
Apache License 2.0
47 stars 47 forks source link

fixed a few minor typos in Chapter 5 #31

Closed williamdemeo closed 7 years ago

williamdemeo commented 7 years ago

...in case you think they're worth fixing... but feel free to ignore/reject this pull request.

avigad commented 7 years ago

@williamdemeo Thanks for these. I incorporated all the corrections from the last three commits. The other commits are older, and, as far as I can tell, all of those corrections have already been made.