Geeks
amintimany
/
autosubst
Automation for de Bruijn syntax and substitution in Coq
Primary Language
Coq
autosubst GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
Watchers
jhcloos
amintimany
Aarhus, Denmark
eemailme