没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
Art of Coq
Art of Coq
5星
· 超过95%的资源
需积分: 12
52 下载量
7 浏览量
2014-02-22
13:56:41
上传
评论
1
收藏
2.42MB
PDF
举报
温馨提示
立即下载
Classic book of Coq proof system
资源推荐
资源评论
coq's art interactive theorem proving and program development
浏览:177
5星 · 资源好评率100%
coq's art interactive theorem proving and program development
Coq in a Huryy
浏览:6
5星 · 资源好评率100%
人机交互定理证明工具Coq的入门手册,可让用户快速了解Coq的使用方法,适合入门级用户。
Art
浏览:55
艺术作品集
Art and Literature
浏览:180
Art and Literature
The Art of SEO
浏览:148
5星 · 资源好评率100%
SEO牛人的书《The Art of SEO》
Coq教程The Coq Proof Assistant
浏览:46
Coq教程The Coq Proof Assistant,作者:Gérard Huet, Gilles Kahn and Christine Paulin-Mohring
coq-8.8.1-win64.exe和coq-hurry.pdf
浏览:201
coq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zip
Coq Lists.v 答案
浏览:198
Coq Lists.v 答案 Coq Lists.v 答案 Coq Lists.v 答案
Coq Induction.v 答案
浏览:117
Coq Induction.v 答案 Coq Induction.v 答案 Coq Induction.v 答案
The Art of Science
浏览:11
内 容 简 介 本书从科学研究的实践与思维技巧方面结合了一些著名科学家具有普遍意义的观点:分析了在科学上作出新发现的方法;总结了科学研究中有益而又有趣的经验教训;提出了可供各种学科参考的指导原则与思维技巧。 书中选用素材简明易懂,语言生动活泼。 本书的对象首先是即将从事科学研究工作的学生,但对予业巳从事科研工作的人员,乃至有经验的科学家,也会具有一定参考价值。书中到举的实例
Art-Portfolio
浏览:111
Art-Portfolio
The Art of Java
浏览:166
4星 · 用户满意度95%
《The Art of Java》的源码,内有多个非常有参考价值的源程序。
The Art of SQL
浏览:110
学习 SQL 必备的好书;用讲故事的方式生动介绍 SQL
Glitch-Art
浏览:23
Glitch-Art
coq-exercises:Coq 课程练习,基于 SSReflect、Coq'Art 和 CPDT
浏览:151
coq-练习Coq 课程的各种练习,在 SSReflect 中实现存储库的结构./cpdt-ssr -- Chlipala 的 CPDT 书中的练习,通过 SSR 重新实现
coq函数式编程 list
浏览:164
4星 · 用户满意度95%
Coq 函数式编程 形式化方法课程讲义 list 链表操作
Coq Reference-Manual
浏览:157
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive ...
Coq poly.v 答案
浏览:93
Coq poly.v 证明答案 证明辅助器 多态 poly.v poly.v
The Coq Proof Assistant A Tutorial
浏览:170
COQ工具使用说明,软件可靠性验证,公式定理推导
The Art of Scalability
浏览:41
5星 · 资源好评率100%
The Art of Scalability is by far the best book on scalability on the market today.
Art_Project
浏览:182
Art_Project
The Art of Disassembly
浏览:173
The Art of Disassembly 反汇编的圣经
Art_supl
浏览:158
Art_supl
coq参考手册 The Coq Reference Manual
浏览:60
coq参考手册 The Coq Reference Manual,由coq开发小组所写。
Coq-Logic.v
浏览:13
中国科技大学程序设计语言理论课程作业之一 Coq语言完成的Logic.v
Coq programming language
浏览:44
Coq是一种强大的函数式编程语言,类似于Ocaml,广泛用于数学证明和计算机安全领域
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
luk8luk8
2018-03-03
内容很好, 值得阅读
johnli121
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于pytorch实现的人体部件分割源码+模型.zip
BaseRecyclerViewAdapterHelper4.0使用Java重写
山东大学操作系统实验demo
TiggerRamDiskV6.0-Mac.zip
数据库实验报告三.doc
数据库应用程序设计作业.doc
施工图审查信息化管理平台整体解决方案.doc
visualize1.py
物联网分布式系统应用.pptx
物联网在医疗健康中的应用-第1篇概述.pptx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功