tchajed/regex-derivative

Regex derivatives in Coq

GitHub repository with 5 stars and 2 forks.

Language: Coq

Topics: regexes

Open provider repository