coq-algs-master.zip （99个子文件） 
coq-algs-master 
RCCBase.v 4KB Structures UCRing.v 4KB CMon.v 1KB Ord.v 16KB Trash BinomialTreeTrash.v 6KB Prod.v 471B LList.v 4KB LazyList.v 648B Enumerable.v 2KB Positional.v 3KB LazyEvalTest.v 3KB LList2.v 5KB DFA.v 2KB ADT Sequence.v 2KB Queue.v 6KB FinSet.v 1KB Sortable.v 7KB FinSet2.v 874B Queue Queue.v 6KB PhysicistsQueue.v 5KB Deque.v 3KB PriorityQueue.v 6KB Stack.v 2KB PartialFinMap.v 1KB TODO 741B DS BST2.v 8KB EasyFingerTree.v 8KB Heap.v 3KB Heap LeftistHeap.v 16KB BinomialHeap2.v 4KB PairingHeap.v 11KB BinomialHeap.v 20KB BST.v 29KB FingerTree.v 2KB Okasaki_Ch10.v 17KB BHeap.v 11KB Deque.v 20KB BST SplayTree.v 5KB SplayTree2.v 7KB Balanced.v 7KB HeightBalanced.v 4KB RedBlack.v 7KB Sorting MsQsUnited.v 1KB Perm.v 11KB RedblackSort.v 4KB SplaySort.v 4KB GeneralizedSelectionSort.v 2KB MergeSortSpec.v 1KB Sort.v 6KB QuickSort.v 6KB MergeSort.v 8KB TreeSort.v 3KB BraunMergeSort.v 3KB SortSpec.v 2KB Mergesort2.v 2KB Test.v 4KB SelectionSort.v 10KB QuicksortSpec.v 4KB PairingSort.v 3KB InsertionSort.v 3KB GeneralizedInsertionSort.v 1KB Reflection Reflection_a_la_carte.v 8KB CMonRefl.v 20KB Test CMonFormulaTest.v 672B FormulaTest.v 3KB CMonExpTest.v 527B UCRingRefl.v 20KB ReflectionClass.v 2KB Formula2.v 6KB CMonRefl2.v 6KB ReflectionLtac.v 2KB Formula.v 6KB MonRefl_NBE.v 1KB Thesis Thesis.tex 160KB Trash TODO 330B
Thesis.pdf 428KB Snippets Chapter1 SpecVerification.v 1KB Chapter2 Lemmas.v 2KB NotEasy.v 694B AbstractTheAlgorithm.v 3KB ImprovingPatchworkDefinitions.v 1KB BoveCapretta.v 6KB Specification.v 3KB VerificatioExNihilo.v 12KB ProveTermination.v 5KB JustRight.v 1KB minted.sty 46KB buildthesis.sh 106B iithesis.cls 10KB .gitignore 175B Memoization Memoize2.v 2KB Memoize.v 8KB README.md 4KB build.sh 242B Data Tree.v 8KB BTree.v 33KB ListLemmas.v 8KB EBTree.v 7KB NonEmptyTree.v 3KB资源评论
Her101
- 粉丝: 25
- 资源: 4667
最新资源
- 【深度学习专栏】ch05配套资源
- LCD1602自留备用，侵权删
- 基于Python的申请信用评分卡模型分析项目源码 (高分项目)
- Multisim仿真可编程彩灯控制器电路设计及其实现-含详细步骤和代码
- 漂亮的收款打赏要饭网HTML页面源码.zip
- HTTP与HTTPS协议对比及其安全性分析
- 动力电极耳压边除毛刺机（sw17可编辑+工程图+BOM）全套技术资料100%好用.zip
- 中文学习系统：用户体验与界面设计
- Python绘制圣诞树：文本和图形实现
- 方型锂电池卷绕机sw14可编辑全套技术资料100%好用.zip
- 学生宿舍管理系统：集成技术与住宿服务优化
- 大一C语言项目实践-小游戏集成开发系统
- 使用HTML、CSS和JavaScript实现动态3D圣诞树效果
- 基于STM32单片机的激光雕刻机控制系统设计-含详细步骤和代码
- 工业机械手ABB CRB1100(step)全套技术资料100%好用.zip
- C++语言实现动态圣诞树绘制
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
