MyGit

v4.0.0-m2

leanprover/lean4

版本发布时间: 2021-03-03 01:49:54

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

This is the second milestone release of Lean 4. With too many improvements and bug fixes in almost all parts of the system to list, we would like to single out major improvements to simp and other built-in tactics as well as support for a goal view that make the proving experience more comfortable.

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

1、 lean-4.0.0-m2-darwin.zip 90.27MB

2、 lean-4.0.0-m2-linux.tar.gz 98.15MB

3、 lean-4.0.0-m2-windows.zip 95.05MB

查看:2021-03-03发行的版本