rocq-community / autosubstLinks

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
59Updated 8 months ago

Alternatives and similar repositories for autosubst

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

Sorting: