Geeks
rafoo
/
kubatipo
Attempt to encode Cubical Type Theory in Dedukti
Primary Language
Coq
The Unlicense
Unlicense
kubatipo GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Watchers
eemailme
jhcloos
rafoo