Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
mathlib4
Work in progress mathlib port for lean 4
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
7mo ago
Recent commits
Latest commits.
doc(RingTheory): tidy backticks (#31753)
79c8606
Harald Husum
7mo ago
doc(NumberTheory): tidy backticks (#31752)
b0acada
Harald Husum
7mo ago
feat(NumberTheory/NumberField/InfinitePlace): A few easy lemmas about totally real fields (#31239)
d84b749
Paul Lezeau
7mo ago
feat: approximate continuous functions by smooth functions (#31278)
f302095
Anatole Dedecker
7mo ago
feat(Nat/Factorial): use binary splitting for `ascFactorial`/`descFactorial` (#28766)
58fc417
Yury Kudryashov
7mo ago
chore: fix defeq abuse in IsGalois.intermediateFieldEquivSubgroup (#31638)
5752ec4
Kenny Lau
7mo ago
chore(CategoryTheory/Monoidal): improve automation around `Adjunction.IsMonoidal` (#31750)
a5199cf
Dagur Asgeirsson
7mo ago
chore: Add simp lemmas for OrderIso.dual (#31641)
e803639
Kenny Lau
7mo ago
Top contributors
Builders behind this project.
urkud
1.7K commits
YaelDillies
1.6K commits
kim-em
1.6K commits
eric-wieser
960 commits
Ruben-VandeVelde
920 commits
joelriou
875 commits
grunweg
858 commits
Parcly-Taxel
644 commits
