社区
下载资源悬赏专区
帖子详情
The Coq Proof Assistant A Tutorial下载
weixin_39821051
2019-08-06 11:00:23
COQ工具使用说明,软件可靠性验证,公式定理推导
相关下载链接:
//download.csdn.net/download/flying123321/4448916?utm_source=bbsseo
...全文
6
回复
打赏
收藏
The Coq Proof Assistant A Tutorial下载
COQ工具使用说明,软件可靠性验证,公式定理推导 相关下载链接://download.csdn.net/download/flying123321/4448916?utm_source=bbsseo
复制链接
扫一扫
分享
转发到动态
举报
写回复
配置赞助广告
用AI写文章
回复
切换为时间正序
请发表友善的回复…
发表回复
打赏红包
The
Coq
Proof
A
ssis
t
ant
A
Tu
tor
ial
COQ
工具使用说明,软件可靠性验证,公式定理推导
company-
coq
:
Proof
General的
Coq
模式的IDE扩展
请参阅下面的,或直接跳至并在尝试使用Mx company-
coq
-
tu
tor
ial
的教程! 建立 梅尔帕
proof
-general和company-
coq
都在 (Emacs软件包的存储库)上。 如果您已经使用MELPA,请跳过此步骤。 否则,将以下内容添加到您...
(转)Awesome Courses
Awesome Courses Introduction There is a lot ofhiddentreasure lying within university pages scattered across the internet. This list is an attempt to bring to light...
Github 的一个免费编程书籍列表
Implementing Functional Languages: A
Tu
tor
ial
- Simon Peyton Jones, David Lester Let's Build a Compiler (PDF) Linkers and Loaders - John R. Levine Practical and Theoretical Aspects of Compiler ...
Github的一个免费编程书籍列表
Implementing Functional Languages: A
Tu
tor
ial
- Simon Peyton Jones, David Lester Let's Build a Compiler (PDF) Linkers and Loaders - John R. Levine Practical and Theoretical Aspects of Compiler...
下载资源悬赏专区
12,780
社区成员
12,309,166
社区内容
发帖
与我相关
我的任务
下载资源悬赏专区
CSDN 下载资源悬赏专区
复制链接
扫一扫
分享
社区描述
CSDN 下载资源悬赏专区
其他
技术论坛(原bbs)
社区管理员
加入社区
获取链接或二维码
近7日
近30日
至今
加载中
查看更多榜单
社区公告
暂无公告
试试用AI创作助手写篇文章吧
+ 用AI写文章