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
bug
bug
Something isn't working
12
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
hard to reproduce
hard to reproduce
1
help wanted
help wanted
Extra attention is needed
1
high priority
high priority
infrastructure
infrastructure
Improve code, maintenance, build, test
2
invalid
invalid
This doesn't seem right
lean4
lean4
include in lean4 release
low priority
low priority
4
nice to have
nice to have
It would be great to have or fix, but it is not essential.
4
question
question
Further information is requested
RFC
RFC
Request for comments
6
wontfix
wontfix
This will not be worked on