elan 是一款用于管理 Lean 定理证明器安装的小工具。它会将 lean 和 lake 可执行文件放入您的 PATH 环境变量中，这些文件会自动识别并根据需要下载项目 lean-toolchain 文件中指定的 Lean 版本。您也可以通过 elan 可执行文件的命令手动安装、选择、运行或卸载 Lean 版本。
厂商介绍
Elan是什么软件？
Elan由Lean FRO发布，是一款开源Windows软件。主要使用Rust开发。
安装与系统要求
官方为64位 Windows提供绿色版格式的安装包。无需安装即可运行（绿色版）。
更新与历史版本
当前最新版本为4.2.4，发布于2026年8月25日。历史版本最早可追溯至2025年4月30日，共收录7个版本，全部链接到官方文件。平均每年发布约5.3个版本。
热度与文件关联
GitHub上的源代码仓库（leanprover/elan）获得了659个星标。
GitHub项目简介: “The Lean version manager”
优点 / 不足
优点
- 开源：任何人都可以查看和编译源代码
- 绿色版，无需安装
不足
- 没有原生ARM64版本
总结: Elan是一款适用于64位电脑的开源Windows软件。目前仍在持续更新。
Elan下载安全吗？
- 文件由厂商自己的域名github.com提供
- 下载链接使用HTTPS
- 已公布SHA256值，可校验文件完整性:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· 查看该哈希值的VirusTotal报告 - 链接尚未检测
- 源代码公开
- ExeAtlas不托管、不捆绑、不修改安装包
相关教程: Windows下如何校验文件的SHA256哈希值
最近版本
全部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，该域名属于厂商本身；ExeAtlas不托管也不修改文件。可以将下载文件的SHA256值与本页显示的值比对，或查看该哈希值的VirusTotal报告。
如何用winget安装Elan？
打开PowerShell或Windows终端，运行本页提供的winget命令即可。winget会下载官方安装包，并在运行前校验其SHA256值。
Elan能在ARM电脑（Windows on Arm）上运行吗？
没有ARM64版本；Windows 11 on Arm可以通过模拟运行64位版本。
在哪里下载Elan旧版本？
历史版本页面列出了全部7个版本（最早至2025年4月30日），均附有官方安装包链接。
没有管理员权限能用Elan吗？
可以，它是绿色版，解压后直接运行。
