Geeks
bmsherman
/
finite
Facts about isomorphisms and finite types in Coq
Primary Language
Coq
finite GitHub
Markdown
Readme
0
Issues
5
Stargazers
3
Watchers
Watchers
jhcloos
bmsherman
eemailme