feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form#249

Open

ctchou wants to merge 4 commits intoleanprover:mainfrom

Commits on Jan 15, 2026

feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form
ctchou
committed

Commits on Jan 17, 2026

Commits on Jan 18, 2026

minor modification
ctchou
committed