LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

mathlib4

The math library of Lean 4

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

21d ago

Recent commits

Latest commits.

feat(UpperHalfPlane): define PGL action on the upper half-plane (#36330)
1c1dadbYury G. Kudryashov1mo ago
feat(Integral/CircleIntegral): add a convergence theorem (#39204)
f06f028Yury G. Kudryashov1mo ago
doc: add newlines to clarify paragraph breaks (#39247)
23fc279Michael Rothgang1mo ago
feat(GroupTheory/Perm/Fin): Add `(cycleIcc i j) ∘ j.succAbove = i.succAbove` for `i ≤ j` (#39170)
816c638Yi.Yuan1mo ago
chore: fix spelling typos (#39275)
eb7a416Michael Rothgang1mo ago

chore(Geometry/Manifold/VectorBundle/SmoothSection): rename module to `ContMDiffSection` (#39272)

2a9198dPaul Lezeau1mo ago

feat: `locallyIntegrableOn_smul_iff` (#39217)

82e5bd6Michael Rothgang1mo ago

feat: continuous version of Submodule.liftQ (#39273)

a529ac8Anatole Dedecker1mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde