DC:Coq In Dedukti的解释源码

Name: DC:Coq In Dedukti的解释 源码
Rating: 4.5 (29 reviews)
Author: marathon43208

上传者：marathon43208 2021-04-18 18:29:56上传 ZIP文件 3.01KB 热度 29次

直流电 Coq In Dedukti的解释

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

DC Coq In Dedukti的解释源码

直流电 Coq In Dedukti的解释

大小：3KB | 2021-04-18 18:29:56
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
company coq Proof General的Coq模式的IDE扩展源码

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

大小：4.02MB | 2021-02-09 16:00:55
coq of ocaml将OCaml程序导入Coq源码

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

大小：1.2MB | 2021-02-02 00:04:27
DC脚本及其解释

经典全面的Design Compiler教程，里面有对每一部分代码的详细解释，非常值得收藏以及初学者...

大小：0B | 2018-12-27 04:47:11
coq_sensitivity Coq中的灵敏度猜想源码

概述黄浩证明了Coq中的灵敏度猜想工作正在进行中... 作者丹尼尔·德·劳格劳德(Daniel...

大小：232KB | 2021-03-01 12:17:00
habanero coq Habanero编程模型的Coq形式化源码

Habanero编程模型的Coq形式化编程模型的形式化。我们主要关注属性的形式化,例如死锁自由和...

大小：154KB | 2021-02-08 11:44:30
coq_experiments源码

EliDupree的Coq实验本自述文件可能已过时。但是在撰写本文时,这里的主要内容是Uniqu...

大小：48KB | 2021-02-21 21:57:15
awesome coq精选的Coq框架库和软件的精选清单源码

很棒的精选的Coq框架,库和软件的精选清单。经过正式认证的CompCert C编译器此coq库...

大小：5KB | 2021-02-09 16:01:05
regexp_coq源码

Coq中的正则表达式作为一个大学项目开始,此项目尝试在Coq中定义正则表达式并证明相关的引理和性质...

大小：8KB | 2021-02-08 11:44:32
Coq教程The Coq Proof Assistant

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

大小：0B | 2020-05-18 17:18:13
fmc1coq源码

辅酶Q “科迪诺”注册商作为考生应考生UFRN,FMC 1。

大小：5KB | 2021-05-03 08:34:29
coq mods Qud mods的洞穴源码

coq-mods:Qud mods的洞穴 gunslinger 一个自定义的变体Elite Call...

大小：4KB | 2021-05-08 06:20:21
constructive and synthetic reducibility in coq源码

构造性和综合性的可约性理论:Myhill的同构定理和Coq中多表和真值表可约性的Post问题这是论...

大小：211KB | 2021-04-02 00:39:18
COQ tutorial

COQisatheoremprover.hereisatutorialforCOQ

大小：0B | 2019-07-17 10:39:51

DC:Coq In Dedukti的解释 源码

DC:Coq In Dedukti的解释源码