(选自:这里)
下载区
本站下载:编译pdf:hott-a4 源代码源地址下载文件:hott-online源代码:https://github.com/HoTT/book更多阅读参考:http://zh.wikipedia.org/wiki/同伦类型论http://homotopytypetheory.org/book/
(选自:这里)
本站下载:编译pdf:hott-a4 源代码源地址下载文件:hott-online源代码:https://github.com/HoTT/book更多阅读参考:http://zh.wikipedia.org/wiki/同伦类型论http://homotopytypetheory.org/book/
©2019 LaTeX 工作室 浙ICP备2020033727号
发表评论 取消回复