Skip to content

Merge remote-tracking branch 'upstream/main' into buchi-compl

1dbc35c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

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

Merge remote-tracking branch 'upstream/main' into buchi-compl
1dbc35c
Select commit
Loading
Failed to load commit list.