没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
Coq Lists.v 答案
Coq Lists.v 答案
Coq
Lists
需积分: 25
37 下载量
101 浏览量
2018-08-05
07:40:35
上传
评论
收藏
14KB
V
举报
温馨提示
立即下载
开通VIP(低至0.43/天)
买1年送3月
Coq Lists.v 答案 Coq Lists.v 答案 Coq Lists.v 答案
资源推荐
资源评论
Coq basics.v 答案
浏览:72
Coq bascis.v参考答案Coq bascis.v参考答案Coq bascis.v参考答案Coq bascis.v参考答案
Coq Induction.v 答案
浏览:92
Coq Induction.v 答案 Coq Induction.v 答案 Coq Induction.v 答案
coq函数式编程 list
浏览:184
4星 · 用户满意度95%
Coq 函数式编程 形式化方法课程讲义 list 链表操作
coq induction练习(1~2星)答案
浏览:188
形式化方法coq induction练习(1~2星)答案
Coq poly.v 答案
浏览:148
Coq poly.v 证明答案 证明辅助器 多态 poly.v poly.v
Coq-Logic.v
浏览:27
中国科技大学程序设计语言理论课程作业之一 Coq语言完成的Logic.v
自己做了下basic.v大家可以参考下
浏览:105
Coq编码,basic.v里面的具体实现
Coq中文教程.tgz
浏览:20
Coq形式化验证的的中文教程,index.html是入口,对应的*.v文件是课程作业习题 需要配合Coq使用!
coq-8.8.1-win64.exe和coq-hurry.pdf
浏览:150
coq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zip
ACP:我在萨尔大学的一个名为“高级Coq编程”课程的项目。 我的工作仅限于Reflection.v和GeneralReflection.v文件,对PA.v和ZF.v进行了一些细微修改
浏览:104
它需要使用某些Coq术语并将其转化为一阶逻辑理论,然后在Coq中证明有关该理论的内容,而不必用另一种语法指定术语。 如何使用? 示例在PA.v或ZF.v中给出。 您定义tarski_reflector的实例,然后可以使用represent. ...
coq-bench.github.io:coq-bench网站
浏览:147
coq-bench.github.io coq-bench的网站。
Coq教程The Coq Proof Assistant
浏览:32
Coq教程The Coq Proof Assistant,作者:Gérard Huet, Gilles Kahn and Christine Paulin-Mohring
opam-coq-archive:存档在各个存储库中组织的所有与Coq相关的OPAM软件包
浏览:114
储存库要激活存储库: 所有已发布的软件包: opam repo add coq-released https://coq.inria.fr/opam/released开发版本: opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-devCoq的开发版本: opam ...
Set-Theory:ZFC的Coq编码和课本集理论的形式化
浏览:189
Enderton教科书的Coq形式化。 它基本上是按照教科书的顺序编写的,而没有考虑模块性。 它适合作为学习集合论的辅助手段,而不适合作为一般的数学库。 要求 Coq 8.13.1 建造 ./build_all.sh ZFC0.v 元理论 排除中间...
coq basic练习(1~2星)答案
浏览:41
形式化方法作业之coq basic练习(1~2星)答案
www:coq.inria.fr网站的源文件(静态部分)
浏览:91
Coq网站 该存储库包含Coq网站的静态页面 make make run html之前的源代码在pages/和news/ ,而最终的html文件将在dest/进行汇编。 先决条件 html文件由。 yamlpp的副本包含在此存储库中,我们只需要一个OCaml顶层...
lwt:用于Coq.io的Lwt后端
浏览:139
体重用于Coq.io的Lwt后端。
constructive-and-synthetic-reducibility-in-coq
浏览:79
构造性和综合性的可约性理论:Myhill的同构定理和Coq中多表和真值表可约性的Post问题 这是论文“一种构造性和综合性的可约性理论:Myhill的同构定理和Coq中多表和真值表...opam install coq.8.12.1 coq-equations.1.
checker:自动检查器,用于Coq中的无锁并发程序
浏览:60
opam repo add coq-released https://coq.inria.fr/opam/released opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev 并安装依赖项: opam install -j4 -v coq:io:system 编译Coq代码: ./...
数学成分_Coq_OCaml_下载.zip
浏览:16
数学成分_Coq_OCaml_下载.zip
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:88
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:135
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:199
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:113
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
XCP协议的规范文档
浏览:164
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
GD32替换STM32注意事项.pdf
浏览:81
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
NPPJSONViewer.zip
浏览:173
4星 · 用户满意度95%
NodePad++ JSON格式化插件
蓝牙BLE协议中文版.pdf
浏览:135
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
CANoe通过CAPL脚本实现自动测试
浏览:127
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
评论
收藏
内容反馈
立即下载
开通VIP(低至0.43/天)
买1年送3月
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
anhooo
粉丝: 3
资源:
10
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
用 Python 编写的 Discord API 包装器 .zip
lslidar-ros
用 Python 实现的可扩展布隆过滤器.zip
现代汽车协议的安全分析与形式化验证工具的应用
用 Python 和 pygame 实现超级马里奥.zip
cocos creator 飞机大战小游戏
缴费综合服务系-JAVA-基于springBoot高校网上缴费综合服务系统设计与实现
EBS excel导入实例
用 Python 3 编写的仅使用“标准 i,o”的基于文本的游戏集合 .zip
狙击机器人等待特定配对的创建,一旦检测到,机器人就会购买指定金额的代币.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功