文件名称：Coq in a Huryy
文件大小：302KB
文件格式：PDF
更新时间：2014-05-04 10:14:41
Coq 形式化验证 定理证明 入门
人机交互定理证明工具Coq的入门手册，可让用户快速了解Coq的使用方法，适合入门级用户。
Coq in a Huryy
【文件属性】：
网友评论
- 入门很快的书，还不错啦
- 挺好的，去年课程上用上了
- Engineer logic开了coq的学习，感谢入门材料，迅速上手
- 应该是少有的将coq的书了，可以很快的入门。
- 感谢分享，简单的入门级coq材料。
- 入门的吧，不过COQ的资料真难找。
- 内容不多，还好吧
- 学习coq的非常好的入门材料
- 很不错的入门资料
- 写得不错，值得仔细研究。
- 写的很好，内容浅显易懂，是菜鸟入门的好教材，顶一个啊
- 简单的入门级coq材料，比较适合新手看
- 很不错，比较适合新手看
- 找了好久，终于能找到一本入门级别的书了，官网上的那个都没有概念解释的
- 简单的入门级coq材料，值得一看
- 这个文章很简单，如果有中文版的更好~但是没有像change这类比较高级的语法
- 适合入门级用户，很方便易懂