Geeks
CoqHott
/
DICoq
Dependent Interoperability for Coq
Primary Language
Coq
DICoq GitHub
Markdown
Readme
0
Issues
8
Stargazers
5
Watchers
Watchers
g-jaber
ksuenaga
Kyoto University
mattam82
Inria
ppedrot
tabareau
Inria