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
52 stars 14 forks source link

update the ssreflect version we mention in the README #21

Closed RalfJung closed 3 years ago