在 Coq 中形式化 100 个定理

由 Chesium 翻译、增补 Coq 是一个交互式证明助手 官网：The Coq Proof Assistant 原文链接：Formalizing 100 theorems in Coq 原文为《形式化 100 个定理》（Formalizing 100 Theorems）的一部分 上述 ...