Skip to content

Releases: Polarnova/FABL

Release list

FABL v0.5.6

FABL v0.5.6 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 22 Jul 09:56
Immutable release. Only release title and notes can be modified.
v0.5.6
35d12d2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

FABL v0.5.6 packages the proof-complete production library for Chapters 1–6 of the May 2021 arXiv edition of Ryan O'Donnell's Analysis of Boolean Functions. Open conjectures, external complexity results, and non-dependency remarks remain visible as statement-only Blueprint nodes and are not assumptions of the Lean library.

Toolchain and dependency

  • Lean 4 v4.32.0
  • Mathlib v4.32.0
  • ProbabilityApproximation v0.9.6, consumed from its verified precompiled release archive

Precompiled Lake archives

Platform Asset SHA-256
macOS arm64 FABL-arm64-apple-darwin24.6.0.tar.gz 54b8e86c1bd618ccf4cd7079636c620786322b52863b6c2699146695c1214ee9
Linux x86-64 FABL-x86_64-unknown-linux-gnu.tar.gz 551df5f5081eecab08c87505d18f9ebe6ef3bd416802b38993523d8646430a28

Both archives were produced on GitHub-hosted runners and verified from fresh downstream consumer packages on matching Linux and macOS runners. Current main-branch verification.

Consume the release

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

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

Full changelog: https://github.com/Polarnova/FABL/commits/v0.5.6

Assets 5
Loading