MyGit

v4.9.0

leanprover/lean4

版本发布时间: 2024-07-01 08:21:09

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

Language features, tactics, and metaprograms

Language server, widgets, and IDE extensions

Library

Lean internals

Compiler, runtime, and FFI

Lake

DevOps

Breaking changes

While most changes could be considered to be a breaking change, this section makes special note of API changes.

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

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

2、 lean-4.9.0-darwin.zip 256.82MB

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

4、 lean-4.9.0-darwin_aarch64.zip 252.26MB

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

6、 lean-4.9.0-linux.zip 323.43MB

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

8、 lean-4.9.0-linux_aarch64.zip 327.81MB

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

10、 lean-4.9.0-linux_wasm32.zip 183.55MB

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

12、 lean-4.9.0-linux_x86.zip 226.35MB

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

14、 lean-4.9.0-windows.zip 265.78MB

查看:2024-07-01发行的版本