Warning
Lean 3 and Mathlib 3 are no longer actively maintained. It is strongly recommended that you use mathlib4 for Lean 4 instead.
(If you need to read the old README.md
, please see OLD_README.md
.)
Lean 3's obsolete mathematical components library: please use mathlib4
Warning
Lean 3 and Mathlib 3 are no longer actively maintained. It is strongly recommended that you use mathlib4 for Lean 4 instead.
(If you need to read the old README.md
, please see OLD_README.md
.)
Lean 3's obsolete mathematical components library: please use mathlib4
https://leanprover-community.github.io/lean3
Apache License 2.0