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

3mo ago

Recent commits

Latest commits.

feat: monotonicity of D^n(U) in n and in U as CLMs (#32401)
e7f2949Anatole Dedecker3mo ago
chore: golf using `fin_omega`, `simp_all` and `grind +splitIndPred` (#36509)
e90aebbeuprunin3mo ago
feat(Algebra): injective dimension equal supremum of localized module (#32033)
7bd45edNailin Guan3mo ago
feat: added simp lemmas to LieRinehartAlgebra (#36650)
2f6dd10Leonid Ryvkin3mo ago
feat(Adjoin/Polynomial/Bivariate): IsAlgebraic.adjoin_singleton (#35874)
db0e46bXavier Généreux3mo ago

fix: update link to mathlib4 naming conventions (#36812)

95636e7David Renshaw3mo ago

chore(IsFractionRing): make argument explicit (#36655)

59cb29bAaron Liu3mo ago

feat: ContinuousLinearMap.continuous_of_continuous_uncurry (#36776)

bf010adAnatole Dedecker3mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde