formal-slt
Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.
Sort by
Require Order
mathlib
25b7ac7The math library of Lean 4
formal-slt25b7ac7