Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
mathlib4
The math library of Lean 4
Lean
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
6mo ago
Recent commits
Latest commits.
Merge branch 'master' into master
f395004
mirefek
6mo ago
chore: `IsTightMeasureSet_iff_exists_isCompact_measure_compl_le` should be lower case (#32873)
bf4d61f
Sebastien Gouezel
6mo ago
feat: construct a bounded continuous map from a continuous compactly supported map (#32786)
b3acb05
Sebastien Gouezel
6mo ago
feat: more API for FiniteMeasure and ProbabilityMeasure (#32784)
a3ead08
Sebastien Gouezel
6mo ago
fix: minor error in comment of example for natural transformation (#32371)
66d2fea
Kai Erik Niermann
6mo ago
feat(Probability): definition of trajMeasure (#30333)
8ab6efe
paulorauber
6mo ago
chore: bump toolchain to v4.27.0-rc1 (#32874)
5e9b6b9
Kim Morrison
6mo ago
feat(RingTheory/PolynomialLaw/Basic): extends polynomial laws to arbitrary universes (#26719)
3ac4753
Antoine Chambert-Loir
6mo ago
Top contributors
Builders behind this project.
urkud
1.7K commits
YaelDillies
1.7K commits
kim-em
1.7K commits
eric-wieser
963 commits
joelriou
949 commits
Ruben-VandeVelde
938 commits
grunweg
886 commits
Parcly-Taxel
646 commits
