wreckit deconstructs the goal if it solves the goal - Githubissues

awalterschulze / regex-reexamined-coq

Apache License 2.0

21 stars 7 forks source link

wreckit deconstructs the goal if it solves the goal #186

Closed awalterschulze closed 3 years ago