Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
mathlib4
The math library of Lean 4
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
1d ago
Recent commits
Latest commits.
chore: fix non-reducible diamond in `ConjAct` (#40427)
6a37ffc
Sebastien Gouezel
3d ago
perf: don't import `Lean.Meta` or `Lean.Elab.Tactic` (#40625)
c0477ad
Jovan Gerbscheid
3d ago
chore: bump toolchain to v4.31.0 (#40633)
fabf563
Garmelon
3d ago
fix: revert #40181 (#40630)
24ef8a8
Michael Rothgang
3d ago
feat(RingTheory/Invariant/Basic): generalize `Ideal.Quotient.normal` to `IsFractionRing` (#40247)
ddd592e
Thomas Browning
3d ago
feat: missing instances for RingCon (#40563)
2025c51
Eric Wieser
3d ago
feat: add a few basic checks for PR descriptions (#40181)
0be66d7
Michael Rothgang
3d ago
feat: custom elaborators for TangentSpace and tangentMap(Within) (#36155)
dd9f867
Michael Rothgang
3d 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
