/kat

Kleene Algebra with Tests (KAT) and Brzozowski automata

Primary LanguageOCamlMIT LicenseMIT

Watchers