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

5d ago

Recent commits

Latest commits.

feat(Combinatorics/SimpleGraph): Add lemma `Walk.IsCircuit.isCycle_cycleBypass` (#37574)
39a94c4Iván Renison2mo ago
feat(Analysis/CStarAlgebra): norms of sums of orthogonal selfadjoint elements (#36416)
adfa150Jireh Loreaux2mo ago
chore(AlgebraicTopology/AlternatingFaceMapComplex): remove an erw (#38645)
beda549Yi.Yuan2mo ago
feat(Combinatorics/SimpleGraph/Copy): a graph is inducingly contained in another iff it's equivalent to an induced graph (#37636)
525b6b6Snir Broshi2mo ago
doc(Combinatorics/SimpleGraph/Partition): improve docstrings in `SimpleGraph.Partition` (#37131)

dd68e57

Iván Renison

2mo ago

fix(RefinedDiscrTree/Lookup): improve the matching score heuristic (#36990)

b90c2aaJovan Gerbscheid2mo ago

feat: integration against a locally integrable function as a CLM on test functions (#32250)

91eb7cbAnatole Dedecker2mo ago

chore(*): fix missing `#` in module docstrings (#38658)

f21c141Justus Springer2mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde