Loading Kleene's theorem on nondeterministic finite automata
Beta
Loading Kleene's theorem on nondeterministic finite automata
Beta
Kleene's theorem on nondeterministic finite automata
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Regular Expressions
Fundamentals