v4.8.0-rc2

版本发布时间: 2024-05-22 08:07:37

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

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

1、 lean-4.8.0-rc2-darwin.tar.zst 174.93MB

2、 lean-4.8.0-rc2-darwin.zip 244.59MB

3、 lean-4.8.0-rc2-darwin_aarch64.tar.zst 170.9MB

4、 lean-4.8.0-rc2-darwin_aarch64.zip 239.91MB

5、 lean-4.8.0-rc2-linux.tar.zst 180.07MB

6、 lean-4.8.0-rc2-linux.zip 310.97MB

7、 lean-4.8.0-rc2-linux_aarch64.tar.zst 178.41MB

8、 lean-4.8.0-rc2-linux_aarch64.zip 315.68MB

9、 lean-4.8.0-rc2-linux_wasm32.tar.zst 127.53MB

10、 lean-4.8.0-rc2-linux_wasm32.zip 173.99MB

11、 lean-4.8.0-rc2-linux_x86.tar.zst 156.5MB

12、 lean-4.8.0-rc2-linux_x86.zip 212.75MB

13、 lean-4.8.0-rc2-windows.tar.zst 180.79MB

14、 lean-4.8.0-rc2-windows.zip 253.57MB

查看：2024-05-22发行的版本