Labels · hhu-adam/Robo

bug

Something isn't working

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

invalid

This doesn't seem right

inputs about the lean-specific content

inputs about the mathematical context of the game

address ASAP

nice to have

should be addressed within the next months

question

Further information is requested

story

inputs about the story

wontfix

This will not be worked on

Provide feedback