Lean 相关
💡
原文中文，约600字，阅读约需2分钟。
📝
内容提要
本文讨论了学习Lean编程语言的经历，作者提到Lean4借鉴了Haskell的语法和设计思想。建议初学者阅读《Mathematics in Lean》以复习数学知识并使用mathlib，同时可以尝试解决一些编程题目，如证明静态直径算法。
🎯
关键要点
- 许多人开始学习Lean编程语言，作者也参与其中。
- Lean4借鉴了Haskell的语法和设计思想。
- 建议初学者阅读《Mathematics in Lean》，以复习数学知识并使用mathlib。
- 初学者可以尝试解决编程题目，如证明静态直径算法。
➡️
