Geeks
HoTT
/
HoTT-2019
Conference on Homotopy Type Theory 2019
Primary Language
CSS
MIT License
MIT
HoTT-2019 GitHub
Markdown
Readme
4
Issues
15
Stargazers
8
Watchers
Stargazers
alreadydone
Bethesda, MD / Shenzhen
relrod
Germany
andreichernov
Yoshkar-Ola
udevril
Istanbul
5HT
Kyiv, Ukraine
tkersey
Los Angeles, CA
scott-fleischman
k-bx
Kyiv, Ukraine
ixaxaar
India
warpuv
mjhopkins
Sydney
jaycech3n
Criterionist
lendenmc
doofin
Norway