search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

fix(documentation): clarify reference to Lean 2. Fixes #62. #63

Closed avigad closed 7 years ago