文件名称:
awesome-coq：精选的Coq框架，库和软件的精选清单-源码
开发工具:
文件大小: 5kb
下载次数: 0
上传时间: 2021-02-08
详细说明：很棒的
精选的Coq框架，库和软件的精选清单。
经过正式认证的CompCert C编译器
此coq库旨在使用单价观点形式化大量数学。
-Coq中用于个人学习和实践工作的范畴论的无公理形式化
用于正式验证Coq中的分布式系统实现的框架
数学组件
您希望Coq手册告诉您的技巧
将Haskell源代码转换为Coq源代码
-Vellvm（已验证LLVM）coq开发。
- 对Coq中单价数学基础的原始发展
-FSCQ是在Coq中编写并证明的经过认证的文件系统
使用Coq证明助手进行定理证明的学习环境
-Coq中的元编程
-Coq的基于属性的随机测试插件
具有经验证的参考解释器的ECMAScript 5（JavaScript）的Coq规范
:hatching_chick: 用Coq编写并证明的博客引擎
- 用于在Coq中设计硬件的DSL，以及用于证明其正确性的关联语义和定理。 Kami受Bluespec启发
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
