文件名称:
coq-on-cachix:该存储库位于Coq活动分支之后，但仅当最新提交在https上以二进制形式提供时才更新-源码
开发工具:
文件大小: 8mb
下载次数: 0
上传时间: 2021-03-17
详细说明：辅酶Q
Coq是一个正式的证明管理系统。 它提供了一种正式的语言来编写数学定义，可执行算法和定理，以及用于半交互式开发机器检查的证明的环境。
安装
请参阅 。 可以从找到有关如何从源代码进行构建和安装的信息。
文献资料
该文档的来源可以在目录找到。 请参阅以了解有关该文档的更多信息，尤其是如何构建它。 最新版本的文档可在Coq网站上网址为 。 另请参阅 （Coq Wiki）和，以获取其他用户提供的文档。
master分支的文档一直在部署。 看：
变化
参考手册的“一章说明了每个新版本的Coq的差异和不兼容之处。 如果您升级Coq，请仔细阅读，因为其中包含有关如何解决可能遇到的一些问题的重要建议。
问题与讨论
我们有多种渠道可以联系用户社区和开发团队：
我们的，用于休闲和繁忙的讨论。
我们的“ ，用于更结构化，更易于浏览的讨论和问答。
我们的历史邮件列表 。
另请参阅 ，其
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
