GitHub repository: tebbi/autosubst
Primary language: Coq
Created: 2015-06-03T14:03:17Z
Description: Automation for de Bruijn syntax and substitution in Coq