【文件属性】：
文件名称：HoTT-Vorlesung:奥格斯堡大学2021年夏季学期讲授同型类型理论的材料
文件大小：9KB
文件格式：ZIP
更新时间：2021-04-14 07:07:04
TeX
HoTT讲座
奥格斯堡大学2021年夏季学期讲授同型类型理论的材料
参加
如果发现错误，欢迎您提交拉取请求。 如果您不知道它是什么或如何做，那么您肯定会从其他听众，导师或讲师那里获得支持。 通过视频会议中的屏幕共享功能，也可以很好地传达这些信息。
【文件预览】：
HoTT-Vorlesung-main
----hott-skript.tex(16KB)
----uebung.cls(805B)
----.gitignore(3KB)
----README.md(427B)
----uebung1.tex(303B)