GitHub repository: uds-psl/autosubst
Primary language: Coq
Description: Automation for de Bruijn syntax and substitution in Coq