Geeks
mikeshulman
/
Coq-HoTT
Homotopy type theory
Primary Language
Coq
Other
NOASSERTION
Coq-HoTT Home Page
Coq-HoTT GitHub
Markdown
Readme
30
Issues
12
Stargazers
5
Watchers
Stargazers
alahijani
Irvine, California
bourbakis
Shanghai
CC136340
choon
Cycle Group
DanGrayson
Eulerianial
Amsterdam, The Netherlands
jcmckeown
jdchristensen
University of Western Ontario
ravibajaj
Cambridge, MA
soro
New York
UrsSchreiber
wires
Statebox