Download Latest Version lean-4.35.0-darwin_aarch64.zip (884.9 MB) Google Add to Preferred Sources
Home / v4.34.1
Name Modified Size InfoDownloads / Week
Parent folder
lean-4.34.1-darwin.tar.zst 2026-09-24 564.3 MB
0
lean-4.34.1-darwin.zip 2026-09-24 801.6 MB
0
lean-4.34.1-darwin_aarch64.tar.zst 2026-09-24 562.0 MB
1 1 weekly downloads
lean-4.34.1-darwin_aarch64.zip 2026-09-24 797.0 MB
0
lean-4.34.1-linux.tar.zst 2026-09-24 580.4 MB
0
lean-4.34.1-linux.zip 2026-09-24 904.3 MB
0
lean-4.34.1-linux_aarch64.tar.zst 2026-09-24 581.9 MB
0
lean-4.34.1-linux_aarch64.zip 2026-09-24 906.7 MB
0
lean-4.34.1-windows.tar.zst 2026-09-24 589.0 MB
0
lean-4.34.1-windows.zip 2026-09-24 850.6 MB
0
README.md 2026-09-24 145 Bytes
0
v4.34.1 source code.tar.gz 2026-09-24 87.8 MB
0
v4.34.1 source code.zip 2026-09-24 93.0 MB
0
Totals: 13 Items   7.3 GB 1

This is the v4.34.1 release of Lean. View the release notes for more information.

Source: README.md, updated 2026-09-24