Geeks
dlicata335
/
cart-cube
Cartesian Cubical Type Theory
Primary Language
Agda
cart-cube GitHub
Markdown
Readme
0
Issues
69
Stargazers
10
Watchers
Watchers
bond15
Two Six Labs
cangiuli
dlicata335
favonia
University of Minnesota
guillaumebrunerie
Stockholm, Sweden
jhcloos
lukaszlew
Google
pthariensflame
Modesto, CA, USA
RobertHarper
Carnegie Mellon University
scott-fleischman