Giters
jdolson
/
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
14
Watchers:
2
Issues:
0
Forks:
2
jdolson/hott-notes Stargazers
Mikhail Glushenkov
23Skidoo
bandali0
Dmitry Malikov
dmalikov
Joel Burget
joelburget
Kristoffer Josefsson
kejace
Mark Lemay
marklemay
Michael Thomas
Michaelt293
Nedim Muminović
nedimmuminovic
Tim Pierson
o1lo01ol1o
Yuriy Pitomets
Pitometsu
Poscat
poscat0x04
songpp
Dave King
tildedave
WillNess