search

leanprover / theorem_proving_in_lean

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

minor typo fixes and clarifications #28

Closed williamdemeo closed 7 years ago

avigad commented 7 years ago

Thanks, @williamdemeo. Don't worry about the the updates to the new release -- I will do this within the next few days.