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

Mention 8.6-8.8 branch #9

Closed Blaisorblade closed 5 years ago

Blaisorblade commented 6 years ago

Partial fix for #3.