#

gaussian-analysis

Here is 1 public repository matching this topic...

Polarnova / ProbabilityApproximation

Lean 4 and Mathlib formalization of nonuniform Berry–Esseen bounds and Bentkus's multivariate Gaussian approximation over convex sets.

theorem-proving formal-verification probability-theory multivariate-statistics central-limit-theorem mathlib convex-geometry lean4 formalized-mathematics berry-esseen steins-method gaussian-analysis

Updated Jul 18, 2026
Lean

Improve this page

Add a description, image, and links to the gaussian-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the gaussian-analysis topic, visit your repo's landing page and select "manage topics."