v4.9.0-rc3
版本发布时间: 2024-06-24 10:11:23
leanprover/lean4最新发布版本:v4.10.0-rc2(2024-07-09 23:27:55)
1、 lean-4.9.0-rc3-darwin.tar.zst 183.89MB
2、 lean-4.9.0-rc3-darwin.zip 256.79MB
3、 lean-4.9.0-rc3-darwin_aarch64.tar.zst 179.82MB
4、 lean-4.9.0-rc3-darwin_aarch64.zip 252.25MB
5、 lean-4.9.0-rc3-linux.tar.zst 189.29MB
6、 lean-4.9.0-rc3-linux.zip 323.41MB
7、 lean-4.9.0-rc3-linux_aarch64.tar.zst 187.33MB
8、 lean-4.9.0-rc3-linux_aarch64.zip 327.78MB
9、 lean-4.9.0-rc3-linux_wasm32.tar.zst 134.51MB
10、 lean-4.9.0-rc3-linux_wasm32.zip 183.53MB
11、 lean-4.9.0-rc3-linux_x86.tar.zst 166.78MB
12、 lean-4.9.0-rc3-linux_x86.zip 226.33MB
13、 lean-4.9.0-rc3-windows.tar.zst 189.72MB
14、 lean-4.9.0-rc3-windows.zip 265.76MB