Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
mathlib4
The math library of Lean 4
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
8mo ago
Recent commits
Latest commits.
feat(RingTheory): Dedekind domain + UFD -> PID (#31061)
b8aaf14
Kenny Lau
8mo ago
chore: update Mathlib dependencies 2025-10-29 (#31065)
9003b8f
mathlib4-update-dependencies-bot
8mo ago
feat: `SetRel.image` and `SetRel.preimage` are open (#31058)
bfd2bc1
Attila Gáspár
8mo ago
chore(Data/Nat): golf `findGreatest_eq_iff` using `grind` (#30515)
7ec15cf
euprunin
8mo ago
feat(Combinatorics/SimpleGraph/Connectivity/WalkCounting): a spanning subgraph has the same or more connected components (#30354)
5c26ea9
SnirBroshi
8mo ago
chore: rename `_root_.prop` to `instFiniteProp` (#29582)
1460988
Yaël Dillies
8mo ago
feat(Algebra/BigOperators/Finsupp/Basic): add Finsupp.sum_eq_one_iff (#30537)
94d4b32
María Inés de Frutos-Fernández
8mo ago
chore: mark measure_union_ne_top and friends with finiteness (#30967)
15ee1d2
Michael Rothgang
8mo ago
Top contributors
Builders behind this project.
urkud
1.7K commits
kim-em
1.6K commits
YaelDillies
1.6K commits
eric-wieser
958 commits
Ruben-VandeVelde
906 commits
joelriou
843 commits
grunweg
839 commits
Parcly-Taxel
643 commits
