v4.8.0-rc1
版本发布时间: 2024-05-02 19:26:04
leanprover/lean4最新发布版本:v4.10.0-rc2(2024-07-09 23:27:55)
1、 lean-4.8.0-rc1-darwin.tar.zst 174.21MB
2、 lean-4.8.0-rc1-darwin.zip 243.43MB
3、 lean-4.8.0-rc1-darwin_aarch64.tar.zst 170.04MB
4、 lean-4.8.0-rc1-darwin_aarch64.zip 238.74MB
5、 lean-4.8.0-rc1-linux.tar.zst 179.57MB
6、 lean-4.8.0-rc1-linux.zip 309.79MB
7、 lean-4.8.0-rc1-linux_aarch64.tar.zst 177.85MB
8、 lean-4.8.0-rc1-linux_aarch64.zip 314.54MB
9、 lean-4.8.0-rc1-linux_wasm32.tar.zst 127.46MB
10、 lean-4.8.0-rc1-linux_wasm32.zip 173.92MB
11、 lean-4.8.0-rc1-linux_x86.tar.zst 155.7MB
12、 lean-4.8.0-rc1-linux_x86.zip 211.58MB
13、 lean-4.8.0-rc1-windows.tar.zst 180.49MB
14、 lean-4.8.0-rc1-windows.zip 252.4MB