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

v0.1.2

Versioned release v0.1.2. These assets are immutable — safe to pin.

Commit: 7ba831c2b7f77d0288808ac355108848424b03ce

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
e923ef22b6ca0a74f55afccb872dd8f5767d2835d20800f40e8b703c5a92c5d5  lean_reassemble-v4.28.0
a66118bcfff1511ddb004ecb3960b5abdd1813aa33cd7e1178e45d051b703c01  lean_reassemble-v4.29.1
135ee4bd0d7e90317f0cb8a808b1fbc65d8286c68472ade0cafce74fdb1c4198  lean_reassemble-v4.31.0
f6a089a2ec298e3375dff18b7b8e34f0e4fff18bbfb53f0d5ad936eb346b518e  lean_reassemble-v4.32.2
bf8a0440fce17f9f0e0a0cd75399912bed38854c2f00b687e570d2021937b840  lean_reassemble-v4.33.0

v0.1.1

Versioned release v0.1.1. These assets are immutable — safe to pin.

Commit: 109713bb455d9d6fd71fdf45baa0beef0ebcbcda

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

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

7855d6b828ec09e44ca6da956ab0f9a9230c170331d6ee50215c518a57ebd40b  lean_extract-v4.28.0
d31692214ae1d71e9cf21f7dc26c30c7e44d272c81d6491c0bbb5127880a4141  lean_extract-v4.29.1
1d5324e7f9d62c66ae5f67a4d891902cf8240467179ed2580f609f31a48fe0e1  lean_extract-v4.31.0
f73d03acd81260670b0e88523511279689c1ccface2a800e3f3805aa53311837  lean_extract-v4.32.2
6d0fc773940eb651109641efcdc3d2f9435eecf8689652e263501ff76d06e1f0  lean_reassemble-v4.28.0
b0acd9449bd68ff0575721c029571b308c841d62522b5023f1cc2cfd423a338c  lean_reassemble-v4.29.1
38fa53714e47a7d0b2cb66267bb7ae63aa8a2fd2cbc7e4fa334f40d291892365  lean_reassemble-v4.31.0
b3767112dd4d16d87a05aff37f9b033981a760e7da8acc070afa9d87e513048d  lean_reassemble-v4.32.2

v0.1.0

Versioned release v0.1.0. These assets are immutable — safe to pin.

Commit: d18e83b225c32970dcb5174ea05304a828fbadc4

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

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.

Checksums

88546a0b86de2906bde1f6d3bbd5a36fbbc8441ed1b891087f0072c72cd6979f  lean_extract-v4.28.0
787419cf3faa9546b3272b42cd7646cf666a7d517df8be8b850d4b621fb73cf9  lean_extract-v4.29.1
5524c3df3c51b0ad7eb985aef1826dde21a4f362f69412800f9da8d68cac0414  lean_extract-v4.31.0
0abc26ae62ad76dd1423abff5c2ed499de118cfaf6675ece6d35eaaa720c94fd  lean_extract-v4.32.2
6fc4fad233ab11ff04c7c2056f8f0b93742d54b2f2dabc2ff9b60a3b51255f23  lean_reassemble-v4.28.0
1ba7d25378a83321324ba4d8599b8e03d575ea69dd141ed57711a396a1a34215  lean_reassemble-v4.29.1
4ed6397dd78b490f91d2a7bae11156ed350155d1cea34f9043a8f99f16539cb7  lean_reassemble-v4.31.0
6931905a0f37193c3c8d2276c80df8cabbfcb434b3f73d088b87e9386295c34a  lean_reassemble-v4.32.2