Latest — 2026-09-02

Rolling pre-release built from the latest main commit.

These assets are replaced on every push to main. If you need bytes
that will not change, use a versioned release instead (vX.Y.Z).

Commit: 87dc16bef0cda8ad1c973a5146510a3e6f1bfda9

Assets

Lean toolchain	Extractor	Reassembler
v4.28.0	lean_extract-v4.28.0	lean_reassemble-v4.28.0
v4.29.1	lean_extract-v4.29.1	lean_reassemble-v4.29.1
v4.31.0	lean_extract-v4.31.0	lean_reassemble-v4.31.0
v4.32.2	lean_extract-v4.32.2	lean_reassemble-v4.32.2
v4.33.0	lean_extract-v4.33.0	lean_reassemble-v4.33.0

Download the pair matching your project's lean-toolchain; the binaries
run the target project's Lean, so the versions must agree. The grind modes
(--grind-manifest, --grind-in-proof) need v4.31.0 or newer — earlier
builds refuse those two modes at startup and exit non-zero.

These binaries link the toolchain's libleanshared.so dynamically (they are
a few MB, not ~215 MB). If the loader cannot find it — error while loading shared libraries: libleanshared.so — point it at your toolchain:

LD_LIBRARY_PATH=$(lean --print-libdir) ./lean_extract-<slug> --help

Checksums

60f0f0090d2d88a29a0f2c360b455d6066dd36fa7b642c94a1b948d372bd0d6b  lean_extract-v4.28.0
47a4dd50406f8e63712e17ad149bf4ff05d91831f143730312e5467dbd61150d  lean_extract-v4.29.1
90bc8545492ad898f61c7fa3f00311e1a4670dede856a621d721a92dcadd6855  lean_extract-v4.31.0
936bbb13fb0ffbc4f208271b5928dccfa9cd0d6830a996a914c0ced7dff84cf4  lean_extract-v4.32.2
0b3c90a6db77e90faade0242d7743083bce26ebbc763f117478183c0b6948238  lean_extract-v4.33.0
c823b6b02037b9721381b347aa2ba36cb8c4a297bbc165584066372f0a032f11  lean_reassemble-v4.28.0
d2b3056cbca5d327980bb25c7a634fa88b04fc054a6b02f52515c653eda2e380  lean_reassemble-v4.29.1
781becd5f1364bc06f2c236e2998ee7b230644597733a82a73d8545e00566daa  lean_reassemble-v4.31.0
0e4ee3a444051d37c6b9a3ebd544fe8ee7ef0ddfeb6856bf0ce338e175bba0c9  lean_reassemble-v4.32.2
7053899caf249d48daa1c3c482e72f82d8c8397832de67d27f185740fdc25a8a  lean_reassemble-v4.33.0