Skip to content

incorporate Chris Henson's comments

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

feat: prove that omega-regular languages are closed under complementation #329

incorporate Chris Henson's comments
d3208d1
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci-checks
succeeded Mar 20, 2026 in 6m 59s