ProbabilityApproximation0.9.6
Lean 4 and Mathlib formalization of nonuniform Berry–Esseen bounds and Bentkus's multivariate Gaussian approximation over convex sets.
Sort by
Require Order
mathlib
v4.32.0The math library of Lean 4