add setoid rewrite for derive_lang and derive_langs - Githubissues

katydid / regex-derivatives-coq

Apache License 2.0

21 stars 7 forks source link

add setoid rewrite for derive_lang and derive_langs #167

Closed awalterschulze closed 3 years ago