Ini versi lama. Versi terbaru adalah 4.35.0. Lean 4.35.0 · Dirilis:
File installer 4.30.0
| Arsitektur | Jenis | Cakupan | Ukuran file | Download | SHA256 |
|---|---|---|---|---|---|
| 64-bit | ZIP → Portabel | — | — | github.com | VirusTotal |
Tautan dan SHA256 diambil dari manifest komunitas Windows Package Manager. Cocokkan hash file yang sudah diunduh sebelum menjalankannya.
Catatan rilis
This is the v4.30.0 release of Lean. View the release notes for more information.
