LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

mathlib4

The math library of Lean 4

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

4d ago

Recent commits

Latest commits.

style: rename `EventuallyMeasurableSpace` to `eventuallyMeasurableSpace` (#26232)
dfe27ebMiyahara Kō12mo ago
feat(CategoryTheory/Monoidal/Action): monoidal right actions (#25840)
4f1603bRobin Carlier12mo ago
refactor: deprecate module `BooleanAlgebra.lean` (#26275)
f29580dPierre Quinton12mo ago
feat(CategoryTheory/Functor/KanExtension): preservations of Kan extensions (#25753)
ffbf9dbRobin Carlier12mo ago
refactor: split `BooleanAlgebra` into `Basic` and `Defs` (#26173)
50a12a2Pierre Quinton12mo ago

chore: verify statements listed in 1000.yaml and similar actually exist (#26183)

27dacf7Ruben Van de Velde12mo ago

chore(SimpleGraph): split `Combinatorics.SimpleGraph.Path` (#25844)

5780733John Talbot12mo ago

chore(CategoryTheory/MorphismProperty): the trivial property is stable under (co)base change (#26228)

e004dbeChristian Merten12mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde