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