Desi
Results
1
repositories owned by
Desi
agda-regexp-automata
15
Stars
0
Forks
Watchers
Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
