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(Analysis/SpecialFunctions/Log): one trivial fact about posLog (#30369)
bd2b5c4
Fabrizio Barroero
8mo ago
feat: a `PointedCone`-valued version of `Submodule.span` (#28140)
c4b0fc9
Yaël Dillies
8mo ago
test(TacticAnalysis): ensure `classical`'s effects are picked up (#29501)
06d95e5
Anne Baanen
8mo ago
chore: some renames around `DiscreteTopology` (#30397)
2b8db8b
Anatole Dedecker
8mo ago
chore: switch arguments of `IsProperMap.comp` (#30406)
c2f4acd
Anatole Dedecker
8mo ago
refactor: weaken HasPullbacks to HasPullback in MorphismProperty.Limits (#29812)
89875f4
jlh
8mo ago
feat: the `ConvexCone` generated by a set (#25292)
3a3edd3
Yaël Dillies
8mo ago
feat: add `LaxMonoidal` instance for `Applicative` functors (#30407)
5e62b58
Vilim Lendvaj
8mo ago
Top contributors
Builders behind this project.
urkud
1.7K commits
kim-em
1.6K commits
YaelDillies
1.5K commits
eric-wieser
954 commits
Ruben-VandeVelde
881 commits
joelriou
816 commits
grunweg
804 commits
Parcly-Taxel
642 commits
