LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

mathlib4

The math library of Lean 4

LeanEmerging

Stars

2

Forks

—

Contributors

8

Last push

4m ago

Recent commits

Latest commits.

chore: avoid `meta`-importing math files (#40671)
da24afcJovan Gerbscheid1h ago
chore: golf proofs which use autogenerated lemmas (#40657)
56d32c2Felix Pernegger3h ago
feat(NumberTheory): costa-pereira inequalities (#40569)
db12779teorth4h ago
feat(LinearAlgebra/Matrix): add Hadamard matrices (#38582)
545bd04Dennj4h ago
chore: clean up `Mathlib.Init` imports after #32419 (#40674)
9b785f9Thomas R. Murrills5h ago

refactor(Analysis): golf `Mathlib/Analysis/Complex/UpperHalfPlane/MoebiusAction` (#40069)

6071266Yi.Yuan5h ago

refactor(Analysis): golf `Mathlib/Analysis/Analytic/Order` (#40067)

ce43383Yi.Yuan5h ago

refactor(Analysis): golf `Mathlib/Analysis/SpecialFunctions/Gaussian/GaussianIntegral` (#39900)

8e7aadcYi.Yuan5h ago

Top contributors

Builders behind this project.

Ruben-VandeVelde