search

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
https://coq-community.org/coq-ext-lib/
BSD 2-Clause "Simplified" License
129 stars 46 forks source link

improved auto goal selection #128

Closed mrhaandi closed 2 years ago

mrhaandi commented 2 years ago

Improves robustness in case of stronger (e)auto (see coq/#16293).