rocq-community / autosubstLinks

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
63Updated last year

Alternatives and similar repositories for autosubst

Users that are interested in autosubst are comparing it to the libraries listed below

Sorting: