derive function that should end in finite steps - Githubissues

katydid / regex-derivatives-coq

Apache License 2.0

21 stars 7 forks source link

derive function that should end in finite steps #174

Closed awalterschulze closed 3 years ago

awalterschulze commented 3 years ago

Most of this has been copied and adjusted from regex-reexamined-coq/Reexamined