mathlib
The math library of Lean 4
of 7 packages depending on leanprover-community/mathlib
1-7Sort by
Package Name
FR-vdash-bot/algorithm
uses66e06b6
Verified efficient algorithms in Lean4.madvorak/duality
uses00df099
Duality theory in linear optimization and its extensionsgirving/interval
uses4660dcd
Conservative floating point interval arithmetic in Leansiddhartha-gadgil/MetaExamples
usesaf6a640
Examples using MetaProgramming for writing tactics etc.girving/ray
uses02e27eb
Formalizing results about the Mandelbrot set in Leanpandaman64/Regex
usesv4.10.0
madvorak/vcsp
uses00df099
General-Valued Constraint Satisfaction Problems