Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
mathlib4
The math library of Lean 4
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
9d ago
Recent commits
Latest commits.
feat: the category of commutative Hopf algebras over a commutative ring (#40361)
1250a50
Yaël Dillies
9d ago
feat(Data/Nat/Choose/Central): add centralBinom_monotone (#40270)
1d1b7f8
Bhavik Mehta
9d ago
chore(Topology/Covering/Quotient): automated extraction (#40467)
5daf17f
mathlib-splicebot[bot]
9d ago
feat(Topology/Algebra/Module/LocallyConvex): a very nice basis of locally convex spaces (#39063)
23100f0
Kevin Wilson
9d ago
chore(Algebra/Lie/TraceForm): remove superfluous backcompat option (#40391)
f48ab48
Michael Rothgang
9d ago
chore(Mathlib/Topology/Homotopy/Path.lean): automated extraction (#40465)
223db09
mathlib-splicebot[bot]
9d ago
chore(Mathlib/Algebra/Group/Subgroup/Ker): automated extraction (#40458)
b454349
mathlib-splicebot[bot]
9d ago
refactor(NumberTheory): golf `Mathlib/NumberTheory/RamificationInertia/Basic` (#39376)
2082f24
Yi.Yuan
9d 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
vihdzp
689 commits
