Skip to content

No labels!

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

17 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
awaiting-author
awaiting-author
awaiting-review
awaiting-review
2
backward compatible
backward compatible
A PR or feature that will be backward compatible with 3.4
1
bug
bug
Something isn't working
12
build
build
issues relating to compiling or building Lean
3
crash
crash
Issues that lead to Lean crashing
6
duplicate
duplicate
This issue or pull request already exists
easy
easy
enhancement
enhancement
New feature or request
15
good first issue
good first issue
Good for newcomers
3
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
question
question
Further information is requested
ready-to-merge
ready-to-merge
Let's merge this
rfc
rfc
WIP
WIP
Work in progress
7
wontfix
wontfix
This will not be worked on