PolarnovaProbabilityApproximation0.9.6

Lean 4 and Mathlib formalization of nonuniform Berry–Esseen bounds and Bentkus's multivariate Gaussian approximation over convex sets.
Displaying 1-4 of 4 versions of ProbabilityApproximation
Sort by
  1. 0.9Version track: 0.9
    0.9.6
    3 days ago
    Released on July 22, 2026 at 11:25:22AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0
  2. 0.9Version track: 0.9
    0.9.6
    v0.9.6
    5 days ago
    Released on July 20, 2026 at 6:44:14AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0
  3. 0.9Version track: 0.9
    0.9.5
    v0.9.5
    8 days ago
    Released on July 18, 2026 at 1:47:56AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0
  4. 0.9Version track: 0.9
    0.9.0
    v0.9.0
    8 days ago
    Released on July 17, 2026 at 11:22:54PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0