v4.10.0-rc2

版本发布时间: 2024-07-09 23:27:55

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

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

1、 lean-4.10.0-rc2-darwin.tar.zst 185.98MB

2、 lean-4.10.0-rc2-darwin.zip 259.73MB

3、 lean-4.10.0-rc2-darwin_aarch64.tar.zst 182.04MB

4、 lean-4.10.0-rc2-darwin_aarch64.zip 255.29MB

5、 lean-4.10.0-rc2-linux.tar.zst 192.11MB

6、 lean-4.10.0-rc2-linux.zip 326.39MB

7、 lean-4.10.0-rc2-linux_aarch64.tar.zst 189.42MB

8、 lean-4.10.0-rc2-linux_aarch64.zip 330.86MB

9、 lean-4.10.0-rc2-linux_wasm32.tar.zst 136.42MB

10、 lean-4.10.0-rc2-linux_wasm32.zip 185.98MB

11、 lean-4.10.0-rc2-linux_x86.tar.zst 169.32MB

12、 lean-4.10.0-rc2-linux_x86.zip 229.84MB

13、 lean-4.10.0-rc2-windows.tar.zst 191.84MB

14、 lean-4.10.0-rc2-windows.zip 268.68MB

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