v4.9.1

版本发布时间: 2024-07-10 06:56:36

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

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

1、 lean-4.9.0-darwin.tar.zst 183.94MB

2、 lean-4.9.0-darwin.zip 256.89MB

3、 lean-4.9.0-darwin_aarch64.tar.zst 179.88MB

4、 lean-4.9.0-darwin_aarch64.zip 252.34MB

5、 lean-4.9.0-linux.tar.zst 189.36MB

6、 lean-4.9.0-linux.zip 323.5MB

7、 lean-4.9.0-linux_aarch64.tar.zst 187.45MB

8、 lean-4.9.0-linux_aarch64.zip 327.89MB

9、 lean-4.9.0-linux_wasm32.tar.zst 134.58MB

10、 lean-4.9.0-linux_wasm32.zip 183.62MB

11、 lean-4.9.0-linux_x86.tar.zst 166.85MB

12、 lean-4.9.0-linux_x86.zip 226.43MB

13、 lean-4.9.0-windows.tar.zst 189.79MB

14、 lean-4.9.0-windows.zip 265.86MB

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