Geeks
CoqHott
/
DICoq
Dependent Interoperability for Coq
Primary Language
Coq
DICoq GitHub
Markdown
Readme
0
Issues
8
Stargazers
6
Watchers
No issues in this repository yet.