Lean 4 — 定理证明与函数式语言

对硬件形式化感兴趣时，Lean 是一条值得长期投入的证明工程路线。本站后续可能放一些与数字逻辑相关的小证明练习。

← 返回 GitHub