文件名称:
coq-algs：Coq中经过正式验证的算法和数据结构：概念和技术-源码
开发工具:
文件大小: 629kb
下载次数: 0
上传时间: 2021-02-08
详细说明：辅酶
您好。 该存储库包含一些随机的Coq代码，其中大多数与纯功能算法和数据结构有关。 它还包含我的硕士论文，也与算法有关。
开发的结构如下：
RCCBase.v包含一些基本策略和辅助材料。
ADT /包含抽象数据类型的接口，例如队列，优先级队列，集合，有限映射等。
Data /包含基本归纳数据类型的实现，其中大多数是树。 这些基本树然后用于实现数据结构。
DS /包含数据结构，例如BST，堆，序列等。
记忆/是记忆功能的la脚尝试。 没什么值得一看的。
反射/在反射证明上有一些代码，也很la脚。
Sorting /包含各种排序算法的实现。
结构/具有排序和反射所需的代数和阶理论结构的实现。
垃圾/是垃圾。 甚至都不要看。
已完成
Structures /包含LinDec （可确定的线性顺序的实现），可用于大多数排序算法，以及一些词条和功能强大的自动化策略dec（称为d
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
