您好,欢迎光临本网站![请登录][注册会员]  
文件名称: coq-on-cachix:该存储库位于Coq活动分支之后,但仅当最新提交在https上以二进制形式提供时才更新-源码
  所属分类: 其它
  开发工具:
  文件大小: 8mb
  下载次数: 0
  上传时间: 2021-03-17
  提 供 者: weixin_********
 详细说明:辅酶Q Coq是一个正式的证明管理系统。 它提供了一种正式的语言来编写数学定义,可执行算法和定理,以及用于半交互式开发机器检查的证明的环境。 安装 请参阅 。 可以从找到有关如何从源代码进行构建和安装的信息。 文献资料 该文档的来源可以在目录找到。 请参阅以了解有关该文档的更多信息,尤其是如何构建它。 最新版本的文档可在Coq网站上网址为 。 另请参阅 (Coq Wiki)和,以获取其他用户提供的文档。 master分支的文档一直在部署。 看: 变化 参考手册的“一章说明了每个新版本的Coq的差异和不兼容之处。 如果您升级Coq,请仔细阅读,因为其中包含有关如何解决可能遇到的一些问题的重要建议。 问题与讨论 我们有多种渠道可以联系用户社区和开发团队: 我们的,用于休闲和繁忙的讨论。 我们的“ ,用于更结构化,更易于浏览的讨论和问答。 我们的历史邮件列表 。 另请参阅 ,其
(系统自动生成,下载前可以参看下载内容)

下载文件列表

相关说明

  • 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
  • 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度
  • 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
  • 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
  • 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
  • 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.
 输入关键字,在本站1000多万海量源码库中尽情搜索: