Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
mathlib4
The math library of Lean 4
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
4mo ago
Recent commits
Latest commits.
chore: support revised nightly toolchains (nightly-YYYY-MM-DD-revK) (#35220)
da3584a
Kim Morrison
4mo ago
feat(SetTheory/Cardinal): helpers for Konig's theorem on bipartite graphs (#32552)
6c1d14f
ksenono
4mo ago
feat(Analysis/RCLike/Basic): add `re_mul_ofReal` and `im_mul_ofReal` (#35170)
721e21b
Thomas Browning
4mo ago
feat(Finpartition): remove unnecessary `DistribLattice` assumptions (#34545)
b4292a2
Attila Gáspár
4mo ago
feat: define `ConditionallyCompletePartialOrder` (#35046)
c72b0ec
Jireh Loreaux
4mo ago
chore: add missing deprecation for eLpNorm_eq_lintegral_rpow_enorm (#35203)
5264399
Ruben Van de Velde
4mo ago
chore(Algebra/Module): golf proofs (#35192)
9de22ff
euprunin
4mo ago
chore(LinearAlgebra/{ExteriorAlgebra,ExteriorPower}): refactor `ExteriorAlgebra.ιMulti_family` and `exteriorPower.ιMulti_family` to use `Set.powersetCard` (#35167)
3efa021
Daniel Morrison
4mo ago
Top contributors
Builders behind this project.
urkud
1.8K commits
YaelDillies
1.7K commits
kim-em
1.7K commits
joelriou
1K commits
eric-wieser
985 commits
Ruben-VandeVelde
981 commits
grunweg
946 commits
Parcly-Taxel
657 commits
