注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Coq in a Huryy

  2. 人机交互定理证明工具Coq的入门手册，可让用户快速了解Coq的使用方法，适合入门级用户。

  3. 所属分类：专业指导

    • 发布日期：2011-04-14
    • 文件大小：309248
    • 提供者：jiaxiang0924

  1. COQ tutorial

  2. COQ is a theorem prover. here is a tutorial for COQ

  3. 所属分类：其它

    • 发布日期：2011-09-19
    • 文件大小：201728
    • 提供者：jiale_zhou

  1. coq

  2. coq's art interactive theorem proving and program development

  3. 所属分类：专业指导

    • 发布日期：2011-11-13
    • 文件大小：2097152
    • 提供者：aimboy

  1. The Coq Proof Assistant A Tutorial

  2. COQ工具使用说明，软件可靠性验证，公式定理推导

  3. 所属分类：其它

    • 发布日期：2012-07-24
    • 文件大小：230400
    • 提供者：flying123321

  1. Coq Reference-Manual

  2. 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 development of machine-checked proofs. Typical application

  3. 所属分类：软件测试

    • 发布日期：2012-09-29
    • 文件大小：1048576
    • 提供者：omorgan

  1. coq函数式编程 list

  2. Coq 函数式编程 形式化方法课程讲义 list 链表操作

  3. 所属分类：专业指导

    • 发布日期：2012-10-29
    • 文件大小：58368
    • 提供者：ustcqi

  1. Coq programming language

  2. Coq是一种强大的函数式编程语言，类似于Ocaml，广泛用于数学证明和计算机安全领域

  3. 所属分类：其它

    • 发布日期：2013-10-25
    • 文件大小：8388608
    • 提供者：u012563874

  1. Coq-Logic.v

  2. 中国科技大学程序设计语言理论课程作业之一 Coq语言完成的Logic.v

  3. 所属分类：专业指导

    • 发布日期：2013-12-05
    • 文件大小：49152
    • 提供者：gladstone000

  1. Art of Coq

  2. Classic book of Coq proof system

  3. 所属分类：其它

    • 发布日期：2014-02-22
    • 文件大小：2097152
    • 提供者：johnli121

  1. coq basic练习（1~2星）答案

  2. 形式化方法作业之coq basic练习（1~2星）答案

  3. 所属分类：专业指导

    • 发布日期：2014-04-03
    • 文件大小：6144
    • 提供者：liangtingac

  1. coq induction练习（1~2星）答案

  2. 形式化方法coq induction练习（1~2星）答案

  3. 所属分类：专业指导

    • 发布日期：2014-04-03
    • 文件大小：7168
    • 提供者：liangtingac

  1. 定理证明器Coq的理论扩展与在组合逻辑验证中的应用_王前

  2. 定理证明器Coq的理论扩展与在组合逻辑验证中的应用 王前

  3. 所属分类：讲义

    • 发布日期：2016-06-12
    • 文件大小：1048576
    • 提供者：jiangdmdr

  1. Coq basics.v 答案

  2. Coq bascis.v参考答案Coq bascis.v参考答案Coq bascis.v参考答案Coq bascis.v参考答案

  3. 所属分类：其它

    • 发布日期：2018-08-05
    • 文件大小：36864
    • 提供者：anhooo

  1. Coq Induction.v 答案

  2. Coq Induction.v 答案 Coq Induction.v 答案 Coq Induction.v 答案

  3. 所属分类：其它

    • 发布日期：2018-08-05
    • 文件大小：29696
    • 提供者：anhooo

  1. Coq Lists.v 答案

  2. Coq Lists.v 答案 Coq Lists.v 答案 Coq Lists.v 答案

  3. 所属分类：其它

    • 发布日期：2018-08-05
    • 文件大小：14336
    • 提供者：anhooo

  1. windows+coq+emacs+proofgeneral

  2. 如何在windows下安装coq，并且使用emacs+proofgeneral进行编辑运行。

  3. 所属分类：其它

    • 发布日期：2018-01-27
    • 文件大小：345088
    • 提供者：haorand

  1. mathematical components一个coq库的使用介绍

  2. 关于如何用coq定理证明器的mathematical components的扩展库进行数学形式化证明的文档。

  3. 所属分类：其它

    • 发布日期：2018-09-26
    • 文件大小：3145728
    • 提供者：juyan255

  1. Coq poly.v 答案

  2. Coq poly.v 证明答案 证明辅助器 多态 poly.v poly.v

  3. 所属分类：系统安全

    • 发布日期：2018-10-08
    • 文件大小：43008
    • 提供者：anhooo

  1. coq-8.11.2-installer-windows-x86_64.exe

  2. Coq定理证明工具安装包，可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼！

  3. 所属分类：其它

    • 发布日期：2020-07-21
    • 文件大小：211812352
    • 提供者：qq_36021613

  1. Coq中文教程.tgz

  2. Coq形式化验证的的中文教程，index.html是入口，对应的*.v文件是课程作业习题 需要配合Coq使用！

  3. 所属分类：讲义

    • 发布日期：2020-07-27
    • 文件大小：3145728
    • 提供者：qq_36021613
« 12 3 4 5 6 »