search

coq-community / autosubst

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
https://www.ps.uni-saarland.de/autosubst
MIT License
50 stars 14 forks source link

merge current branch into master #13

Closed RalfJung closed 3 years ago

RalfJung commented 3 years ago

@co-dan I propose we merge the coq86-devel branch into master, and then get rid of the old branch. It's just confusing to have the latest state not be in the master branch.

co-dan commented 3 years ago

Agree, that's the first thing to do.