没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
coq-8.11.2-installer-windows-x86_64.exe
coq-8.11.2-installer-windows-x86_64.exe
形式验证
定理证明
需积分: 21
11 下载量
105 浏览量
2020-07-21
20:27:01
上传
评论
收藏
202.23MB
EXE
举报
温馨提示
立即下载
开通VIP（低至0.43/天）
买1年送3月
Coq定理证明工具安装包，可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼！
资源推荐
资源评论
Coq programming language
浏览：56
Coq是一种强大的函数式编程语言，类似于Ocaml，广泛用于数学证明和计算机安全领域
Coq教程The Coq Proof Assistant
浏览：119
Coq教程The Coq Proof Assistant，作者：Gérard Huet, Gilles Kahn and Christine Paulin-Mohring
Coq 8.8.1 Windows安装包
浏览：141
Github 上提供的 CoqTop Release 的下载速度可能非常慢，这里为网络状况不好的朋友提供一个镜像
coq-8.8.1-win64.exe和coq-hurry.pdf
浏览：146
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中文教程.tgz
浏览：134
Coq形式化验证的的中文教程，index.html是入口，对应的*.v文件是课程作业习题 需要配合Coq使用！
mathematical components一个coq库的使用介绍
浏览：138
关于如何用coq定理证明器的mathematical components的扩展库进行数学形式化证明的文档。
emacs-27.1-x86_64-installer.exe
浏览：47
Emacs的Windows64位最新版本，有爱好Emacs或者想了解Emacs的朋友可以下载学习。
最新版windows elasticsearch-8.11.1-windows-x86-64.zip
浏览：151
最新版windows elasticsearch-8.11.1-windows-x86_64.zip最新版windows elasticsearch-8.11.1-windows-x86_64.zip最新版windows elasticsearch-8.11.1-windows-x86_64.zip
最新版windows kibana-8.11.1-windows-x86-64.zip
浏览：180
最新版windows kibana-8.11.1-windows-x86_64.zip最新版windows kibana-8.11.1-windows-x86_64.zip最新版windows kibana-8.11.1-windows-x86_64.zip最新版windows kibana-8.11.1-windows-x86_64.zip
evopedia-0.4.2-installer-windows-x86-32bit.exe
浏览：143
evopedia 离线wiki软件。Windows客户端。
kibana-8.11.0-windows-x86-64
浏览：153
Kibana是一个开源的分析和可视化平台，设计用于和Elasticsearch一起工作。 你用Kibana来搜索，查看，并和存储在Elasticsearch索引中的数据进行交互。 你可以轻松地执行高级数据分析，并且以各种图标、表格和地图的形式可视化数据。 Kibana使得理解大量数据变得很容易。它简单的、基于浏览器的界面使你能够快速创建和共享动态仪表板，实时显示Elasticsearch查询
经过CompCert正式验证的C编译器-C/C++开发
浏览：184
CompCert经过验证的C编译器。 概述经CompCert C验证的编译器是用于C编程语言的大部分子集的编译器，可为PowerPC，ARM和x86处理器生成代码。 Compiert Compiert是经过验证的C编译器。 概述经CompCert C验证的编译器是用于C编程语言的大部分子集的编译器，可为PowerPC，ARM，x86和RISC-V处理器生成代码。 CompCert的与众不同之处在于
learn-to-prove:软件基础练习
浏览：132
学习证明 软件基础中的练习。
Coq-Logic.v
浏览：45
中国科技大学程序设计语言理论课程作业之一 Coq语言完成的Logic.v
coq-bench.github.io:coq-bench网站
浏览：5
coq-bench.github.io coq-bench的网站。
coq-ext-lib：Coq定义，定理和策略的库。 [maintainers = @ gmalecha，@ liyishuai]
浏览：131
coq-ext-lib 可能对其他Coq开发有用的理论和插件的集合。元作者： 格雷戈里·马莱查（初始） 常见问题解答社区维护者： 格雷戈里·马莱查（ ） 李一（ ） 许可证：兼容的Coq版本：Coq 8.8或更高版本其他依赖项：无...
Coq Reference-Manual
浏览：95
### Coq Reference Manual知识点概述 #### 一、Coq系统简介 **Coq**是一个正式证明管理系统，它提供了一个正式语言来撰写数学定义、可执行算法以及定理，并且为机器验证的证明提供了半交互式的开发环境。Coq在多种...
opam-coq-archive:存档在各个存储库中组织的所有与Coq相关的OPAM软件包
浏览：41
储存库要激活存储库： 所有已发布的软件包： opam repo add coq-released https://coq.inria.fr/opam/released开发版本： opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-devCoq的开发版本： opam ...
基于Coq的微内核操作系统程序验证方法的研究
浏览：58
运用形式化方法，构造了一个小而安全的操作系统微内核
《交互式定理证明与程序开发 Coq归纳构造演算的艺术》 高清 PDF
浏览：196
5星 · 资源好评率100%
定理证明是数学领域一个古老的分支，它从公理出发，利用推理规则为定力寻找证明过程。
coq函数式编程 list
浏览：7
4星 · 用户满意度95%
Coq 函数式编程 形式化方法课程讲义 list 链表操作
logstash-8.11.0-windows-x86-64
浏览：3
Logstash是一个开源数据收集引擎，具有实时管道功能。Logstash可以动态地将来自不同数据源的数据统一起来，并将数据标准化到你所选择的目的地。Logstash是具有实时流水线能力的开源的数据收集引擎。Logstash可以动态统一不同来源的数据，并将数据标准化到您选择的目标输出。它提供了大量插件，可帮助我们解析，丰富，转换和缓冲任何类型的数据。
elasticsearch-8.11.0-windows-x86-64
浏览：6
Elasticsearch是一个分布式RESTful搜索引擎，针对生产规模工作负载的速度和相关性进行了优化。您可以使用Elasticsearch对包括以下应用程序的海量数据集执行实时搜索：矢量搜索、全文搜索、日志、度量、应用程序性能监控（APM）、安全日志，目前为最新的8.11.0系统，和7.x有很大的变化
TIBCOJaspersoftStudio-6.0.0.final-windows-installer-x86_64.exe
浏览：177
TIBCOJaspersoftStudio-6.0.0.final-windows-installer-x86_64画报表
最新版windows logstash-8.11.1-windows-x86-64.zip
浏览：197
最新版windows logstash-8.11.1-windows-x86_64.zip最新版windows logstash-8.11.1-windows-x86_64.zip最新版windows logstash-8.11.1-windows-x86_64.zip
ConCert:Coq中的智能合约验证框架
浏览：79
音乐会 Coq中的智能合约验证框架。 有关开发的详细信息，请参见。 演唱会能够找到真实世界的攻击作为...opam install -j 4 coq.8.11.2 coq-bignums coq-stdpp coq-quickchick opam pin -j 4 add https://github.com/Me
coq-simple-io:母鸡的IO
浏览：118
Coq 的纯函数式 IO 具有用户可定义的基本操作的IO monad。 该库提供了直接在 Coq 中实现 IO 程序的工具...opam pin add coq-simple-io ./coq-simple-io 文档 最新发布版本的文档可在网站上获得 有关提取代码的详细说
评论
收藏
内容反馈
立即下载
开通VIP（低至0.43/天）
买1年送3月
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
若小仟
粉丝: 85
资源:
4
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
陈强教授《机器学习及R应用》课程作业
MagicBoard 用Java swing写的魔板小游戏.zip
java作业 简单的摇骰子游戏、使用线程和swing、awt.zip
公开整理-保障房供应量数据集-省份.xlsx
公开整理-保障房供应量数据集-城市.xlsx
java语言键盘事件游戏-别踩白块.zip项目
Keil (1).hex
Java游戏扫雷-简易复制品.zip算法资源
java游戏,java游戏推荐,E简网,塞班游戏,浅春.zip爬虫
基于OpenCV的相机和视频投影仪校准工具
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
