文件名称: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)
文件名称:System-F-Coq:coq 中的系统 F
文件大小:26KB
文件格式:ZIP
更新时间:2024-07-18 10:04:21
Coq
系统-F-Coq coq 中的系统 F。