regex-reexamined-coq icon indicating copy to clipboard operation
regex-reexamined-coq copied to clipboard

Published 20 hours ago • verified publisher icon awalterschulze

Adopt some of the crush tactic for more automated proving

Open awalterschulze opened this issue 4 years ago • 1 comments

https://prosecco.gforge.inria.fr/personal/hritcu/dyn/coind/CpdtTactics.html

awalterschulze avatar Mar 06 '21 15:03 awalterschulze

We have started to address the issue in https://github.com/awalterschulze/regex-reexamined-coq/pull/179

awalterschulze avatar Mar 06 '21 17:03 awalterschulze