Reasoning using tangles on parity games

Full project page

Organisations map overview