Introduction to Formal Verification with Lean Part 1

> 使用 Lean 进行形式化验证简介 第一部分

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

> 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.

⋯ 继续阅读请开通会员 ⋯