search

awalterschulze / regex-reexamined-coq

Apache License 2.0
21 stars 7 forks source link

wreckit exists with tactic notation in #181

Closed awalterschulze closed 3 years ago