Geeks
CoqHott
/
coq-2ltt
Two-level type theory in Coq
Primary Language
Coq
coq-2ltt GitHub
Markdown
Readme
0
Issues
1
Stargazer
6
Watchers
Watchers
mattam82
Nantes
jhcloos
ppedrot
tabareau
France
annenkov
Aarhus
paper2code-bot