文件名称：hott-species:HoTT 中的组合物种
文件大小：229KB
文件格式：ZIP
更新时间：2024-06-24 05:39:55
Coq
热点物种 HoTT 中的组合物种
【文件预览】：
hott-species-master
----.gitignore(178B)
----species.tex(33KB)
----LICENSE(1KB)
----species.pdf(202KB)
----README.md(57B)
----coq()
--------Arith.v(11KB)
--------Cayley.v(2KB)
--------Species.v(16KB)
--------Fock.v(3KB)
--------GCard.v(1KB)
--------FinSet.v(12KB)
--------SpeciesEx.v(6KB)
----references.bib(9KB)