英国那些事儿

Lean 是目前世界上最受关注、发展最迅猛的交互式定理证明器（Interactive Theorem Prover, ITP）和函数式编程语言之一。它由微软研究院（Microsoft Research...