search

subttle / kleene

Kleene Algebra (Kozen axioms)
Other
2 stars 0 forks source link
kleene kleene-algebra regular-expressions

readme

kleene

Kleene Algebra (Kozen axioms)