System-F-Coq:coq 中的系统 F

【文件属性】：

文件名称：System-F-Coq:coq 中的系统 F

文件大小：26KB

文件格式：ZIP

更新时间：2024-07-18 10:04:21

Coq

系统-F-Coq coq 中的系统 F。

【文件预览】：
System-F-Coq-master
----pairs.v(28KB)
----names.v(49KB)
----subst.v(16KB)
----README.md(32B)
----F.v(20KB)
----basic.v(201B)