文件名称：Cocasse:Coq 中的渐进式认证编程库
文件大小：12KB
文件格式：ZIP
更新时间：2024-06-19 13:32:06
Coq
古卡斯 Coq 中的渐进式认证编程库 作者 Nicolas Tabareau (Inria) 和 Éric Tanter (U.Chile) 用法 要编译 coq 文件，您需要 Coq 的主干分支（可在，提交 c2d053c6）。 只需在存储库中键入“ make”，其余的工作将由coq_makefile完成。
【文件预览】：
Cocasse-master
----Examples.v(3KB)
----compiler.v(3KB)
----Showable.v(876B)
----Cast.v(4KB)
----Examples_fancy_extraction_hs.v(2KB)
----records.v(9KB)
----.gitignore(119B)
----DecidableExtns.v(5KB)
----Makefile(148B)
----Examples_hs.v(890B)
----README.md(322B)