Labels

Something isn't working

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

This property/theorem involves game theoretic concepts and is likely tricky to formalise.

Good for newcomers

Extra attention is needed

This doesn't seem right

Further information is requested

This PR is about the general theory or structure of the project.

This will not be worked on