Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
mathlib4
The math library of Lean 4
Lean
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
3h ago
Recent commits
Latest commits.
feat: scalar multiplication of an `NNReal` against `1 : ENNReal` (#37762)
31b99e0
Etienne Marion
1mo ago
refactor(Algebra/Category/ModuleCat/ChangeOfRings): golf `restrictScalarsEquivalenceOfRingEquiv` (#38705)
cfc2f20
Justus Springer
1mo ago
chore(AlgebraicGeometry): Remove duplicate instances (#39044)
c98bc34
Justus Springer
1mo ago
ci(shake.yaml): weekly workflow for running lake shake --fix (#38608)
9abb1e5
Bryan Gin-ge Chen
1mo ago
feat(RingTheory/Ideal/IsAugmentation): define the concept of an augmentation ideal (#37744)
5697271
Antoine Chambert-Loir
1mo ago
feat: comultiplication as a bialgebra hom (#34675)
7a346fa
Yaël Dillies
1mo ago
fix(Topology/Category): make `TopCat.Hom` constructor private (#39005)
aac6750
Dagur Asgeirsson
1mo ago
chore: update Mathlib dependencies 2026-05-08 (#39068)
7436a85
mathlib-update-dependencies[bot]
1mo ago
Top contributors
Builders behind this project.
urkud
1.8K commits
kim-em
1.8K commits
YaelDillies
1.8K commits
joelriou
1.2K commits
grunweg
1K commits
eric-wieser
1K commits
Ruben-VandeVelde
987 commits
Parcly-Taxel
681 commits
