v4.12.0-rc1

版本发布时间: 2024-09-03 11:01:10

leanprover/lean4最新发布版本:v4.12.0-rc1(2024-09-03 11:01:10)

相关地址：原始地址 下载(tar) 下载(zip)

1、 lean-4.12.0-rc1-darwin.tar.zst 220.55MB

2、 lean-4.12.0-rc1-darwin.zip 306.51MB

3、 lean-4.12.0-rc1-darwin_aarch64.tar.zst 216.51MB

4、 lean-4.12.0-rc1-darwin_aarch64.zip 301.89MB

5、 lean-4.12.0-rc1-linux.tar.zst 227.13MB

6、 lean-4.12.0-rc1-linux.zip 373.42MB

7、 lean-4.12.0-rc1-linux_aarch64.tar.zst 221.15MB

8、 lean-4.12.0-rc1-linux_aarch64.zip 365.68MB

9、 lean-4.12.0-rc1-linux_wasm32.tar.zst 168.78MB

10、 lean-4.12.0-rc1-linux_wasm32.zip 228.96MB

11、 lean-4.12.0-rc1-linux_x86.tar.zst 204.32MB

12、 lean-4.12.0-rc1-linux_x86.zip 276.53MB

13、 lean-4.12.0-rc1-windows.tar.zst 226.84MB

14、 lean-4.12.0-rc1-windows.zip 315.81MB

查看：2024-09-03发行的版本