支持的平台
1 级
第 1 层平台是由我们的 CI 基础设施构建和测试 Lean 的平台。
Lean 的二进制版本可通过 elan 适用于这些平台。
一级平台是：
-
x86-64Linux 与 glibc 2.26+ -
aarch64Linux 与 glibc 2.27+ -
aarch64（苹果芯片）macOS 10.15+ -
x86-64Windows 11（任何版本）、Windows 10（版本 1903 或更高版本）、Windows Server 2022、Windows Server 2025
2 级
第 2 层平台是 Lean 交叉编译但未经我们的 CI 测试的平台。 这些平台可以使用二进制版本。
由于缺乏自动化测试，版本可能会悄然被破坏。 欢迎问题报告和修复。
2 级平台是：
-
x86-64macOS 10.15+ -
Emscripten WebAssembly