search

coq-community / corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
http://c-corn.github.io/
GNU General Public License v2.0
108 stars 43 forks source link

improved auto goal selection #171

Closed mrhaandi closed 2 years ago

mrhaandi commented 2 years ago

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