Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
mathlib4
The math library of Lean 4
Lean
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
6d ago
Recent commits
Latest commits.
perf: make LieRing.ofAssociative a def (#40306)
96fd0ff
Michael Rothgang
9d ago
chore: reduce imports (#40222)
60ca517
Jovan Gerbscheid
9d ago
chore(CategoryTheory/Adjunction): fix typo (#40382)
33748e9
Joël Riou
9d ago
chore(FieldTheory/Galois/IsGaloisGroup): remove `FaithfulSMul` from `IsGaloisGroup.finite` (#40123)
a09042b
Thomas Browning
9d ago
chore(Algebra/Order/GroupWithZero): flatten `Unbundled` folder (#37832)
091702d
Yaël Dillies
9d ago
feat: continuity of posLog (#40349)
064ebe2
Stefan Kebekus
9d ago
chore: update Mathlib dependencies 2026-06-09 (#40376)
770ae6c
mathlib-update-dependencies[bot]
10d ago
feat: install gh inside the devcontainer (#39745)
f8ef683
Jon Eugster
10d 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
688 commits
