Geeks
mattam82
/
Coq-unif
Formalization of unification in Coq
Primary Language
Coq
GNU General Public License v2.0
GPL-2.0
Coq-unif GitHub
Markdown
Readme
0
Issues
3
Stargazers
6
Watchers
Watchers
beta-ziliani
@crystal-lang
CohenCyril
Inria
eemailme
jhcloos
llelf
mattam82
Inria