v4.11.0-rc3

版本发布时间: 2024-08-29 13:05:22

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

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

1、 lean-4.11.0-rc3-darwin.tar.zst 194.65MB

2、 lean-4.11.0-rc3-darwin.zip 271.76MB

3、 lean-4.11.0-rc3-darwin_aarch64.tar.zst 190.73MB

4、 lean-4.11.0-rc3-darwin_aarch64.zip 267.34MB

5、 lean-4.11.0-rc3-linux.tar.zst 201.09MB

6、 lean-4.11.0-rc3-linux.zip 338.61MB

7、 lean-4.11.0-rc3-linux_aarch64.tar.zst 197.91MB

8、 lean-4.11.0-rc3-linux_aarch64.zip 342.99MB

9、 lean-4.11.0-rc3-linux_wasm32.tar.zst 144.65MB

10、 lean-4.11.0-rc3-linux_wasm32.zip 197.11MB

11、 lean-4.11.0-rc3-linux_x86.tar.zst 178.3MB

12、 lean-4.11.0-rc3-linux_x86.zip 242.22MB

13、 lean-4.11.0-rc3-windows.tar.zst 200.52MB

14、 lean-4.11.0-rc3-windows.zip 280.78MB

查看：2024-08-29发行的版本