search

leanprover / theorem_proving_in_lean

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

Caught/fixed a few typos in Chapter 3 #26

Closed williamdemeo closed 7 years ago

avigad commented 7 years ago

Merged 55e1cb6.