Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
mathlib4
The math library of Lean 4
Lean
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
59m ago
Recent commits
Latest commits.
doc: module docstrings for files split off from Topology.Algebra.Module.LinearMap (#39633)
4f97290
Anatole Dedecker
28d ago
feat(Geometry/Convex): convex sets in a `ConvexSpace` (#38905)
63ad631
Yaël Dillies
28d ago
chore: deprecate `Ordinal.natCast_succ` → `Nat.cast_add_one` (#39643)
227e3ba
Violeta Hernández Palacios
28d ago
feat: drop completeness assumption in the definition of `setToFun`, expand API (#39615)
fca9f6f
Sebastien Gouezel
28d ago
refactor(Algebra): replace `SemilinearEquivClass.semilinearEquiv` by structure-specific coercions (#37944)
466d6fa
Yaël Dillies
28d ago
feat: unit lemmas and embedding for `FiniteAdeleRing` (#35820)
0f33149
Salvatore Mercuri
28d ago
refactor(MeasureTheory): golf `Mathlib/MeasureTheory/Integral/Marginal` (#39176)
2f103b8
Yi.Yuan
28d ago
refactor(MeasureTheory): golf `Mathlib/MeasureTheory/Function/ConvergenceInDistribution` (#39173)
86a5495
Yi.Yuan
28d ago
Top contributors
Builders behind this project.
urkud
1.9K commits
kim-em
1.8K commits
YaelDillies
1.8K commits
joelriou
1.2K commits
grunweg
1.1K commits
eric-wieser
1K commits
Ruben-VandeVelde
987 commits
Parcly-Taxel
682 commits
