高效管理工具用于精益定理证明器
Elan 是一个为 Windows 设计的工具，简化了 Lean 定理证明器安装的管理。这个免费的工具无缝集成到您的系统中，将 Lean 和 Lake 二进制文件放入您的 PATH 以便于访问。它会自动选择并下载您项目的 lean-toolchain 文件中指定的适当 Lean 版本，从而简化用户的设置过程。
除了自动功能，Elan 还提供手动安装、选择、运行和卸载不同 Lean 版本的灵活性。这使得它成为开发人员使用 Lean 的多功能选择，确保他们可以根据需要轻松管理多个版本和配置。
