Giters
HoTT
/
HoTT-2023
Conference on Homotopy Type Theory 2023
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
13
Watchers:
2
Issues:
0
Forks:
0
HoTT/HoTT-2023 Stargazers
Anqur
anqurvanillapy
BrentKylling
Carlo Angiuli
cangiuli
kirraObj
CziSKY
EDJ
DKXXXL
Erika Tse
erupmi
Runming Li
EULIR
Astra Kolomatskaia
FrozenWinters
Jon Sterling
jonsterling
M4tr1xt4ng
MATRIXKOO
Schrodinger ZHU Yifan
SchrodingerZhu
yetzalp
Yiqi Xu
YiqiXu