Regular Language Representations

github.comtool

Translations between different definitions of regular languages, including regular expressions and automata.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Libraries: “Translations between different definitions of regular languages, including regular expressions and automata.”