Coq教程The Coq Proof Assistant

Name: Coq教程The Coq Proof Assistant
Rating: 4.5 (55 reviews)
Author: 奔奔奔奔腾

上传者：奔奔奔奔腾 2020-05-18 17:18:13上传 PDF文件 196.91KB 热度 55次

Coq教程TheCoqProofAssistant，作者：GérardHuet,GillesKahnandChristinePaulin-Mohring

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Coq教程The Coq Proof Assistant

Coq教程TheCoqProofAssistant，作者：GérardHuet,GillesKahn...

大小：0B | 2020-05-18 17:18:13
The Coq Proof Assistant A Tutorial

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

大小：0B | 2019-06-26 04:05:50
ssreflect 1.4Reflection in Coq Proof Assistant

SSReflect是Coq证明助手的一个扩展库，它提供了一种更为简洁、结构化的命令语法，使得形式化证...

大小：1.03MB | 2024-12-09 21:49:00
company coq Proof General的Coq模式的IDE扩展源码

公司费用 Proof General的Coq模式扩展集的集合。请参阅下面的,或直接跳至并在尝试使用...

大小：4.02MB | 2021-02-09 16:00:55
认证的依赖类型编程Coq Proof Assistant的实用介绍Certified Programming with Dependent Types A

这本教科书涵盖了带有Coq证明助手的实际工程。重点是使用依赖类型和脚本化的证明自动化来构建具有正确性...

大小：0B | 2020-05-30 16:44:34
COQ tutorial

COQisatheoremprover.hereisatutorialforCOQ

大小：0B | 2019-07-17 10:39:51
coq参考手册The Coq Reference Manual

coq参考手册TheCoqReferenceManual，由coq开发小组所写。

大小：0B | 2020-05-18 17:18:19
Art of Coq

ClassicbookofCoqproofsystem

大小：0B | 2019-07-23 02:10:07
Coq in a Huryy

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

大小：0B | 2018-12-11 05:05:00
coq理论特定的coq理论源码

辅酶理论该知识库包含特定的Coq理论和事实,这些理论和事实对我和学生的研究似乎很有用。文件Typ...

大小：8KB | 2021-02-17 23:34:48
coq_jupyter Coq的Jupyter内核源码

的内核。您可以尝试。安装确保CoqIDE(8.6或更高版本)已安装并coqidetop (或c...

大小：31KB | 2021-03-01 12:16:55
coq of ocaml将OCaml程序导入Coq源码

食用辅酶将OCaml程序导入Coq。从文件main.ml开始: type 'a tree = |...

大小：1.2MB | 2021-02-02 00:04:27
Coq中文教程.tgz

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

大小：3.35MB | 2020-08-05 03:20:58
coq to lisp Coq到Emacs Lisp通用Lisp提取

将Coq到Scheme Extraction转换为Common Lisp / Emacs Lisp，...

大小：5.21KB | 2024-09-21 00:29:03
coq2rust从Coq提取Rust程序

coq2rust 相关于提取的 Coq 术语的示例，请参见 input.v。尝试在包含此文件的目录中...

大小：6.08MB | 2024-10-31 12:10:56
Coq Reference Manual

Coq is a formal proof management system. It provid...

大小：1.45MB | 2020-08-14 23:31:54