Introduction to Formal Verification with Lean Part 1

Lean形式化验证入门第一部分

HN 112 分 · 10 条评论 · 作者 badcryptobitch · 来源 hashcloak.com · HN 讨论

【摘要】

This tutorial introduces Lean, a functional programming language and theorem prover created in 2013, for verifying mathematical statements and cryptographic proofs.

本教程介绍Lean这一由Leonardo de Moura于2013年创建的功能性编程语言和定理证明器，用于验证数学陈述和密码学证明。

⋯ 继续阅读请登录会员 ⋯