LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

mathlib4

The math library of Lean 4

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

10mo ago

Recent commits

Latest commits.

feat: define `IsKolmogorovProcess` (#27202)
60d731fRémy Degenne11mo ago
feat: two lemmas about Lp functions and product spaces (#27029)
220be37Rémy Degenne11mo ago
feat(RepresentationTheory/Homological/GroupHomology/Functoriality): low degree functoriality maps (#25939)
ea5588aAmelia Livingston11mo ago
feat(RingTheory/TensorProduct/FG) : direct limit properties of tensor products wrt finitely generated submodules (#26717)
e109780Antoine Chambert-Loir11mo ago
chore(CategoryTheory/Limits/Shapes/Pullback/Categorical): remove useless [local simp] (#27203)
1e542fa

Robin Carlier

11mo ago

feat: Nat.log2 <= Real.logb 2 (#27201)

9c18b42Rémy Degenne11mo ago

feat(Probability): Hoeffding's lemma (#26744)

6e8affbpaulorauber11mo ago

feat: ContinuousLinearMap.flip/bilinearComp of zero (#27193)

5726d73Rémy Degenne11mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde