Skip to content

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

Merged
fmontesi merged 16 commits into
leanprover:mainfrom
ctchou:na-pair
Jan 29, 2026
Merged

feat: prove that an omega-language is regular iff it is a finite union of omega-languages of a special form#249
fmontesi merged 16 commits into
leanprover:mainfrom
ctchou:na-pair

Merge remote-tracking branch 'upstream/main' into na-pair

b488ab4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.