注册
登录
ECN
hott-cheatsheets
返回
项目作者：
jonaprieto
项目描述 ：
Homotopy type theory cheatsheets to read the HoTT Book
高级语言：
TeX
项目主页：
https://github.com/HoTT/book
项目地址:
git://github.com/jonaprieto/hott-cheatsheets.git
创建时间：
2018-05-04T12:51:13Z
项目社区：
https://github.com/jonaprieto/hott-cheatsheets
开源协议：
下载
hott-all_1649468981143.pdf
hott-basics_1649468981197.pdf
hott-categories_1649468981229.pdf
hott-equivalences_1649468981258.pdf
hott-formal_1649468981320.pdf
hott-logic_1649468981347.pdf
hott-categories_1649468981374.pdf
