Lean 4.0.0-m2 (2021-03-02)🔗

这是 Lean 4 的第二个里程碑版本。几乎系统所有部分都有太多改进和错误修复，无法一一列出，我们想重点介绍对 simp 和其他内置策略的重大改进，以及对目标视图的支持，使证明体验更加舒适。