在 Coq 中形式化 100 個定理

由 Chesium 翻譯、增補 Coq 是一個交互式證明助手 官網：The Coq Proof Assistant 原文鏈接：Formalizing 100 theorems in Coq 原文為《形式化 100 個定理》（Formalizing 100 Theorems）的一部分 上述 ...