Automation for de Bruijn syntax and substitution in Coq
Primary LanguageCoq
No issues in this repository yet.