Geeks
mattam82
/
color
Coq library on rewriting theory and termination
Primary Language
Coq
Other
NOASSERTION
color Home Page
color GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
Watchers
mattam82
Nantes
jhcloos
eemailme