LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

mathlib4

The math library of Lean 4

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

4mo ago

Recent commits

Latest commits.

chore(CategoryTheory): remove some unnecessary lemmas about final/initial functors (#12024)
09ed129Dagur Tómas Ásgeirsson27mo ago
perf(Algebra.Category.ModuleCat.ChangeOfRings): some speedups (#11545)
3fe6813Kevin Buzzard27mo ago
chore(Algebra.Group.UniqueProds): remove private instance (#12037)
65cbbe7Matthew Robert Ballard27mo ago
feat: add induction principle for `elementalStarAlgebra` (#12039)
6144777Jireh Loreaux27mo ago
feat: add the Loewner partial order on continuous linear maps on a Hilbert space (#12026)
b5b45d3

Jireh Loreaux

27mo ago

feat: big Zariski is subcanonical (#12028)

e8433a6Adam Topaz27mo ago

refactor(LinearAlgebra/BilinForm): Remove `structure BilinForm` from Mathlib, migrate all of `_root_.BilinForm` to `LinearMap.BilinForm` (#11278)

aee79f6Christopher Hoskin27mo ago

fix: add missing withOverApps (#12022)

5299597Eric Wieser27mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde