标签：定理证明

这是一份关于Lean 4编程语言的系列教程，旨在从零开始教授形式化验证技术。教程分为两部分：首先将Lean作为编程语言教授，包括语法、类型系统、控制流等内容；然后将其作为定理证明器教授，涵盖证明编写、类型理论、依赖类型等高级主题。文章强调，...

赞(0)Toy2025-12-19前沿哨所 阅读(2)去评论