smolkaj/kat

Kleene Algebra with Tests (KAT) and Brzozowski automata

语言：OCaml · GitHub 星标：7 · Fork：0

话题：automata · brzozowski · brzozowski-derivatives · kat · kleene-algebra · kleene-algebra-with-tests

在 GitHub 上查看原仓库