LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

mathlib4

The math library of Lean 4

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

1d ago

Recent commits

Latest commits.

Merge branch 'leanprover-community:master' into master
c69772eVlad Tsyrklevich12mo ago
chore: golf Probability/ using `grind` (#26692)
ff93ac2euprunin12mo ago
chore: fix spelling mistakes (#26808)
ea2e32eeuprunin12mo ago
doc(RingTheory/RingHom/Locally): update names in the module docstring (#26817)
449b24fYongle Hu12mo ago
refactor(SetTheory/Cardinal/Regular): review `IsInaccessible` API (#26606)
b6a8f16Violeta Hernández12mo ago

feat(LinearAlgebra/AffineSpace): lemmas for trivial spaces (#26821)

d3c315dJoseph Myers12mo ago

feat(AlgebraicGeometry): building morphisms into Proj (#25101)

7bcdce9Andrew Yang12mo ago

chore(RingTheory/Valuation): generalize IsEquiv iffs to Ring (#26826)

df7b8faYakov Pechersky12mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde