Skip to content

feat: prove that the omega-power of a regular language is an omega-regular language#236

Open
ctchou wants to merge 4 commits intoleanprover:mainfrom
ctchou:na-loop
Open

feat: prove that the omega-power of a regular language is an omega-regular language#236
ctchou wants to merge 4 commits intoleanprover:mainfrom
ctchou:na-loop

Commits