codyroux / autosubst Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Home Page: https://www.ps.uni-saarland.de/autosubst
License: MIT License