v4.6.1

leanprover/lean4

版本发布时间: 2024-03-04 21:46:32

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

Changes since v4.6.0 (from RELEASES.md)

Backport of #3552 fixing a performance regression in server startup.

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

1、 lean-4.6.1-darwin.tar.zst 148.54MB

2、 lean-4.6.1-darwin.zip 207.58MB

3、 lean-4.6.1-darwin_aarch64.tar.zst 144.67MB

4、 lean-4.6.1-darwin_aarch64.zip 203.13MB

5、 lean-4.6.1-linux.tar.zst 153.4MB

6、 lean-4.6.1-linux.zip 273.1MB

7、 lean-4.6.1-linux_aarch64.tar.zst 152.27MB

8、 lean-4.6.1-linux_aarch64.zip 278.31MB

9、 lean-4.6.1-linux_wasm32.tar.zst 124.33MB

10、 lean-4.6.1-linux_wasm32.zip 172.44MB

11、 lean-4.6.1-linux_x86.tar.zst 128.42MB

12、 lean-4.6.1-linux_x86.zip 174.53MB

13、 lean-4.6.1-windows.tar.zst 154.13MB

14、 lean-4.6.1-windows.zip 216.21MB

查看：2024-03-04发行的版本