kdrag.theories.algebra.kleene

Kleene Algebra

• https://www.philipzucker.com/bryzzowski_kat/

• https://www.cs.uoregon.edu/research/summerschool/summer24/topics.php#Silva

Functions

while_(t, c)

kdrag.theories.algebra.kleene.while_(t, c)