desi-ivanov / agda-regexp-automata

Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
17Updated 4 years ago

Alternatives and similar repositories for agda-regexp-automata:

Users that are interested in agda-regexp-automata are comparing it to the libraries listed below