v4.11.0-rc2

版本发布时间: 2024-08-12 11:37:46

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

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

1、 lean-4.11.0-rc2-darwin.tar.zst 194.44MB

2、 lean-4.11.0-rc2-darwin.zip 271.53MB

3、 lean-4.11.0-rc2-darwin_aarch64.tar.zst 190.56MB

4、 lean-4.11.0-rc2-darwin_aarch64.zip 267.11MB

5、 lean-4.11.0-rc2-linux.tar.zst 201.07MB

6、 lean-4.11.0-rc2-linux.zip 338.34MB

7、 lean-4.11.0-rc2-linux_aarch64.tar.zst 197.65MB

8、 lean-4.11.0-rc2-linux_aarch64.zip 342.76MB

9、 lean-4.11.0-rc2-linux_wasm32.tar.zst 144.38MB

10、 lean-4.11.0-rc2-linux_wasm32.zip 196.77MB

11、 lean-4.11.0-rc2-linux_x86.tar.zst 177.98MB

12、 lean-4.11.0-rc2-linux_x86.zip 241.82MB

13、 lean-4.11.0-rc2-windows.tar.zst 200.46MB

14、 lean-4.11.0-rc2-windows.zip 280.55MB

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