LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

mathlib4

The math library of Lean 4

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

14m ago

Recent commits

Latest commits.

feat: compute trailing coefficients of factorized rational functions (#26141)
389ef58Stefan Kebekus12mo ago
chore: bump toolchain to v4.22.0-rc3 (#26715)
19f4ef2Kim Morrison12mo ago
feat: introduce the Laplace operator (#26302)
ed93091Stefan Kebekus12mo ago
chore(CategoryTheory/MonoidalCategory): clean up names in simp and rw (#26705)
0f42479Yuma Mizuno12mo ago
fix: remove explicit `FunLike` instance for `Equiv` (#26220)
40cb750Wrenna Robson12mo ago

feat: Add definition of `symmEquiv` (#26170)

cb83ff5Wrenna Robson12mo ago

feat(CategoryTheory/Limits): certain multicoequalizers are pushouts (#26028)

f064868Joël Riou12mo ago

feat(Order/Fin/CircularOrder): add some basic results about the circular order on Fin (#25369)

a736586Paul Lezeau12mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde