search

leanprover / leanprover.github.io

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

mention Lean 4/Lean 3c #78

Closed leodemoura closed 4 years ago

leodemoura commented 4 years ago

merged. cc @Kha