這是舊版本，目前最新版本為4.35.0。 Lean 4.35.0 · 發行日期:
安裝檔 4.25.2
| 架構 | 類型 | 安裝範圍 | 檔案大小 | 下載 | SHA256 |
|---|---|---|---|---|---|
| 64位元 | ZIP → 免安裝版 | — | — | github.com | VirusTotal |
下載連結與SHA256取自Windows套件管理員（winget）的社群資訊清單。執行前請先核對下載檔案的雜湊值。
Lean 4.25.2下載
Programming Language and Theorem Prover
- 授權開放原始碼
- 版本4.35.0
- 系統需求Windows 10, 11
- 發行日期2026年10月12日
- GitHub星星數★ 9626
IDE與程式碼編輯器熱門排行
查看全部-
RStudioIDE與程式碼編輯器 · Posit Software -
Node.js (LTS)IDE與程式碼編輯器 · Node.js Foundation -
Apache NetBeansIDE與程式碼編輯器 · Apache NetBeans -
VSCodiumIDE與程式碼編輯器 · VSCodium -
HaxeIDE與程式碼編輯器 · Haxe Foundation -
ThonnyIDE與程式碼編輯器 · Aivar Annamaa -
GDevelopIDE與程式碼編輯器 · GDevelop Team -
mkcertIDE與程式碼編輯器 · FiloSottile -
ProcessingIDE與程式碼編輯器 · Processing Foundation -
Android StudioIDE與程式碼編輯器 · Google LLC
Lean FRO的其他軟體
查看全部
ElanLean FRO