Lean 4.0.0-m1 (2021-01-04)
Lean 开发团队很自豪地宣布 Lean 4 的第一个里程碑版本。此版本旨在试验 Lean 4 的新功能，最终形成可供一般使用的完整版本 4.0.0。
该版本是自 Lean 3.4.0 发布以来近三年工作的成果，对 Lean 的几乎所有方面进行了重新设计、扩展和改进。有关 Lean 4 的更多信息，请参阅 官方文档 以及 Lean Together 2021 的介绍性演讲 “Lean 4 概述”。
莱昂纳多·德·莫拉 & 塞巴斯蒂安·乌尔里希
致谢
-
Daniel Selsam - 类型类解析、反馈、设计讨论
-
Marc Huiisinga 和 Wojciech Nawrocki - Lean 服务器
-
Joe Hendrix、Andrew Kent、Rob Dockins、Simon Winwood (Galois Inc) - 早期采用者、建议、反馈
-
Daan Leijen、Simon Peyton Jones、Nikhil Swamy、Sebastian Graf、Max Wagner - 设计讨论、反馈、建议