Skip to content

No labels!

There aren’t any labels for this repository quite yet.

16 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
classified PR
classified PR
for statistical use
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
3
good first issue
good first issue
Good for newcomers
high priority
high priority
high priority in waiting list
5
low priority
low priority
low priority in waiting list
2
mathematically inaccurate
mathematically inaccurate
The mathematical statement is inaccurate
naming
naming
naming choices
not parsing
not parsing
Something isn't working
question
question
Further information is requested
require experience
require experience
This problem requires familiarity and experience
5
theorem structure
theorem structure
roadmaps of theorem hierarchy
4
to be improved
to be improved
Improvements can be made
waiting for discuss
waiting for discuss
Extra attention is needed
1
wontfix
wontfix
This will not be worked on