elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
提供元による説明（英語）
Elanとは
Elan（提供元：Lean FRO）は、オープンソースのWindowsソフトです。開発言語はRustです。
インストールと動作環境
提供元は64ビット版のポータブルインストーラーを配布しています。インストールせずにそのまま実行できます（ポータブル版）。
アップデートとバージョン履歴
最新版は4.2.4で、2026年8月25日にリリースされました。2025年4月30日までさかのぼって、全7件のリリースを公式ファイルへのリンク付きで掲載しています。更新は年に約5.3回のペースです。
人気と対応ファイル形式
GitHubで公開されているソースコード（leanprover/elan）のスター数は659です。
GitHubのプロジェクト説明: “The Lean version manager”
メリット / デメリット
メリット
- オープンソースで、誰でもコードを確認・ビルドできる
- ポータブル版でインストール不要
デメリット
- ネイティブのARM64版がない
まとめ: Elanは、オープンソースのWindowsソフトです。64ビットのPCで使えます。継続的に更新されています。
Elanのダウンロードは安全ですか？
- ファイルは提供元のドメイン（github.com）から配信されています
- ダウンロードリンクはHTTPSを使用しています
- SHA256ハッシュが公開されているため、ファイルを検証できます:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· このハッシュのVirusTotalレポートを開く - リンクはまだ確認されていません
- ソースコードは公開されています
- ExeAtlasはインストーラーのホスト、ラップ、改変を行っていません
関連ガイド: SHA256ハッシュの確認方法（Windows）
最近のバージョン
全7バージョン ›1年間で7バージョン・年に約5.3回
コマンドラインでインストール
サイレントインストール ›winget install --id Lean.Elan -escoop install main/elanプログラムファイル（.exe）: elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
関連ガイド: wingetの使い方：アプリのインストールと更新
情報
- 提供元
- Lean FRO
- ライセンス
- Apache-2.0
- 価格
- 無料
- ソースコード
- github.com/leanprover/elan
- 開発言語
- Rust
- 動作環境
- Windows 11 / 10
- アーキテクチャ
- 64ビット
- インストーラー
- ポータブル
- バージョン
- 4.2.4
- リリース日
- 2026年8月25日
- カタログ追加日
- 2025年5月4日
- 掲載バージョン数
- 7
- 年間更新回数
- 5.3
- GitHubスター
- 659
- GitHubフォーク
- 60
- 公式サイト
- github.com
- winget ID
- Lean.Elan
- Scoopパッケージ
- main/elan
評価とレビュー
まだレビューはありません。最初の評価を投稿してください。
よくある質問
Elanは無料ですか？
はい。Elanはオープンソースのソフトです（Apache-2.0ライセンス）。
Elanのダウンロードは安全ですか？
ファイルはgithub.comから配信されます。github.comは提供元のドメインです。ExeAtlasはファイルをホストしておらず、改変もしていません。ダウンロードしたファイルのSHA256をこのページに記載の値と照合するか、そのハッシュのVirusTotalレポートを確認してください。
Elanをwingetでインストールするには？
PowerShellかWindowsターミナルを開き、このページに記載のwingetコマンドを実行します。wingetは公式インストーラーをダウンロードし、実行前にSHA256ハッシュを検証します。
ElanはARM版Windows（Windows on Arm）で動きますか？
ARM64版はありません。Windows 11 on Armでは、エミュレーションによって64ビット版を実行できます。
Elanの旧バージョンはどこでダウンロードできますか？
バージョン一覧のページに、2025年4月30日以降の全7件のバージョンを公式インストーラーへのリンク付きで掲載しています。
Elanは管理者権限なしで使えますか？
はい。ポータブル版なので、展開してそのまま実行できます。
