autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
51 stars
11 watching
14 forks
Language: Coq
last commit: 18 days ago coqcoq-cidebruijn-indicesmathcompssreflectvariable-binding