文件名称：nominal
文件大小：7KB
文件格式：ZIP
更新时间：2024-04-08 20:24:13
Coq
nominal
【文件预览】：
nominal-main
----_CoqProject(143B)
----theories()
--------Group.v(3KB)
--------Prelude.v(560B)
--------perm.v(7KB)
--------Perm.v(3KB)
--------Name.v(770B)
----Makefile(908B)
----.gitignore(269B)