Mathlib Save
Lean 3's obsolete mathematical components library: please use mathlib4
Project README
Lean 3's mathlib
[!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.)
Open Source Agenda is not affiliated with "Mathlib" Project. README Source: leanprover-community/mathlib
Stars
1,631
Open Issues
381
Last Commit
1 week ago
Repository
License
Open Source Agenda Badge
