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

fmontesi merged 6 commits intoleanprover:mainleanprover/cslib:mainfrom

ctchou:buchi-complctchou/cslib:buchi-complCopy head branch name to clipboard