Geeks
beta-ziliani
/
unicoq
An enhanced unification algorithm for Coq
Primary Language
OCaml
MIT License
MIT
unicoq GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
jhcloos
eemailme