これは旧バージョンです。最新版は4.35.0です。 Lean 4.35.0 · リリース日:
インストーラーファイル 4.26.0
| アーキテクチャ | 種類 | インストール範囲 | ファイルサイズ | ダウンロード | SHA256 |
|---|---|---|---|---|---|
| 64ビット | ZIP → ポータブル | — | — | github.com | VirusTotal |
リンクとSHA256はWindows Package Managerのコミュニティマニフェストから取得しています。実行する前に、ダウンロードしたファイルのハッシュを照合してください。
Lean 4.26.0のダウンロード
Programming Language and Theorem Prover
- ライセンスオープンソース
- バージョン4.35.0
- 動作環境Windows 10, 11
- リリース日2026年10月12日
- GitHubスター★ 9626
IDE・コードエディターで最も人気
すべて表示-
OpenCodeIDE・コードエディター · OpenCode -
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
Lean FROのほかのソフト
すべて表示
ElanLean FRO