search

leanprover / leanprover.github.io

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

Remove sentence saying mathlib is using Lean 3. #97

Closed PatrickMassot closed 11 months ago