Skip to content

No labels!

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

14 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
backported
backported
This issue was resolved by changing mathlib.
bug
bug
Something isn't working
5
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
missing from lean 4
missing from lean 4
Features of lean 3 that were removed or have not yet been implemented in lean 4
4
question
question
Further information is requested
requires change to Lean 4
requires change to Lean 4
1
WIP
WIP
won't support in lean4
won't support in lean4
Features that will not be added to core Lean4
3
wontfix
wontfix
This will not be worked on