Geeks
fsestini
/
tt-in-cubical
Type Theory in Type Theory using Cubical Agda
Primary Language
Agda
tt-in-cubical GitHub
Markdown
Readme
0
Issues
12
Stargazers
2
Watchers
Stargazers
brendanzab
@yeslogic
clayrat
IMDEA Software
doofin
Danmarks Tekniske Universitet
esneko
Latvia
lambdaxymox
United States
minad
Germany
nmrshll
@Unbox-infinity
rinarakaki
scott-fleischman
timothyklim
tkersey
@thisisartium
yurrriq
@sportradar