认证的依赖类型编程：Coq Proof Assistant的实用介绍Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

【文件属性】：
文件名称：认证的依赖类型编程：Coq Proof Assistant的实用介绍Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
文件大小：1.74MB
文件格式：PDF
更新时间：2022-11-17 06:51:48
计算机科学 这本教科书涵盖了带有Coq证明助手的实际工程。 重点是使用依赖类型和脚本化的证明自动化来构建具有正确性证明的程序。