Labels

awaiting-author
awaiting-author
A reviewer has asked the author a question or requested changes
documentation
documentation
Improvements or additions to documentation
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
merge-conflict
merge-conflict
There are merge conflicts present
t-game
t-game
This is mainly about combinatorial games
t-nimber
t-nimber
This is mainly about nimbers
t-surreal
t-surreal
This is mainly about surreal numbers

8 labels