Skip to content

ProbabilityApproximation v0.9.6

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 20 Jul 06:51
· 5 commits to main since this release
Immutable release. Only release title and notes can be modified.
v0.9.6
c89fba9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

ProbabilityApproximation v0.9.6 provides Lean 4 and Mathlib formalizations of uniform and nonuniform Berry–Esseen bounds, Chen–Shao normal approximation machinery, and Bentkus's multivariate Gaussian approximation over convex sets.

Toolchain

  • Lean 4 v4.32.0
  • Mathlib v4.32.0

Precompiled Lake archives

Platform Asset SHA-256
macOS arm64 ProbabilityApproximation-arm64-apple-darwin24.6.0.tar.gz a22c7da332c174d739f33e90e68f48a79fbec65b0cde1673776993c4260cc918
Linux x86-64 ProbabilityApproximation-x86_64-unknown-linux-gnu.tar.gz ae9fe85ed1d8222c3b165e383279b05075974c43465ed352c56eb025e212dbc7

The archives are consumed and verified as a transitive dependency by FABL's fresh Linux and macOS release consumers. Current cross-platform verification.

Consume the release

require ProbabilityApproximation from git "https://github.com/Polarnova/ProbabilityApproximation.git" @ "v0.9.6"
lake update
lake exe cache get
lake build @ProbabilityApproximation:release
lake --no-build build @ProbabilityApproximation/ProbabilityApproximation

The release tag resolves to commit c89fba908a33ba741836407f43c67609e2d05279. Release assets and tags are never replaced; subsequent Lean, Mathlib, or public-API changes receive a new version.

Full changelog: v0.9.5...v0.9.6

Assets 5
Loading