文件名称：hott:我对 HoTT 的实验
文件大小：19KB
文件格式：ZIP
更新时间：2024-07-09 21:08:16
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)