文件名称：Coq-unif:Coq 中统一的形式化
文件大小：33KB
文件格式：ZIP
更新时间：2024-07-10 07:09:37
Coq
Coq-unif Coq 中统一的形式化 要编译，请创建一个指向您的 ssreflect 发行版的符号链接，如下所示： ln -s /path/to/ssr/ ssreflect 然后： coq_makefile -f Make -o Makefile 或者直接： 制作
【文件预览】：
Coq-unif-master
----Make(172B)
----LICENSE(18KB)
----examples()
--------looping_unif.v(226B)
----.gitignore(18B)
----theories()
--------finmap.v(32KB)
--------prelude.v(10KB)
--------ordtype.v(14KB)
--------Typing.v(9KB)
--------TermEvar.v(21KB)
----README.md(233B)
----PLAN(348B)