【文件属性】：
文件名称：hott:我对 HoTT 的实验
文件大小：19KB
文件格式：ZIP
更新时间：2021-06-20 03:21:36
Agda
同伦类型论
我试图通过编写代码来理解 HoTT。
法律术语
版权所有 (c) 2014, Piyush P Kurur
版权所有。
该软件是根据 BSD3 许可证的条款和条件分发的。 有关确切的条款和条件，请参阅随附的文件许可证。
【文件预览】：
hott-master
----.travis.yml(189B)
----agda()
--------tests()
--------hott()
--------io()
--------Makefile(174B)
----LICENSE(1KB)
----.gitignore(45B)
----Makefile(85B)
----README.md(483B)