v4.9.0-rc2

版本发布时间: 2024-06-14 09:24:11

leanprover/lean4最新发布版本:v4.10.0-rc2(2024-07-09 23:27:55)

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

1、 lean-4.9.0-rc2-darwin.tar.zst 183.87MB

2、 lean-4.9.0-rc2-darwin.zip 256.8MB

3、 lean-4.9.0-rc2-darwin_aarch64.tar.zst 179.97MB

4、 lean-4.9.0-rc2-darwin_aarch64.zip 252.27MB

5、 lean-4.9.0-rc2-linux.tar.zst 189.24MB

6、 lean-4.9.0-rc2-linux.zip 323.41MB

7、 lean-4.9.0-rc2-linux_aarch64.tar.zst 187.11MB

8、 lean-4.9.0-rc2-linux_aarch64.zip 327.79MB

9、 lean-4.9.0-rc2-linux_wasm32.tar.zst 134.47MB

10、 lean-4.9.0-rc2-linux_wasm32.zip 183.52MB

11、 lean-4.9.0-rc2-linux_x86.tar.zst 166.72MB

12、 lean-4.9.0-rc2-linux_x86.zip 226.34MB

13、 lean-4.9.0-rc2-windows.tar.zst 189.75MB

14、 lean-4.9.0-rc2-windows.zip 265.78MB

查看：2024-06-14发行的版本