fix(dependent type theory): typo

leanprover / theorem_proving_in_lean

Theorem proving in Lean

Apache License 2.0

47 stars 46 forks source link

Closed gihanmarasingha closed 4 years ago

avigad commented 4 years ago

Sorry to be slow to get to this. Thanks for the corrections!