Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Primary LanguageCoqMIT LicenseMIT