search

leanprover / theorem_proving_in_lean

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

some minor fixes #37

Closed williamdemeo closed 6 years ago

williamdemeo commented 6 years ago

These are many months old, and after merging with your upstream repo, only a couple of very minor changes remain.

avigad commented 6 years ago

@williamdemeo Thanks!