Interactive Theorem Proving and Program Development 上传者：没经验的开发银元 2018-12-11 05:04:00上传 DJVU文件 3.17MB 热度 58次 关于人机交互式定理证明工具Coq的权威书籍，包括系统介绍、系统的理论基础以及递归式构造演算。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2018-12-11 05:04:00 最近正好感兴趣这个，非常感谢！ 码姐姐匿名网友 2018-12-11 05:04:00 好资料，期待已久 码姐姐匿名网友 2018-12-11 05:04:00 很好的资料，谢谢 发表评论
最近正好感兴趣这个，非常感谢！
好资料，期待已久
很好的资料，谢谢