Skip to content

No labels!

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

79 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
parser
parser
2
performance
performance
A performance problem related issue or PR
4
postponed
postponed
2
PR not welcome
PR not welcome
The PR would require close supervision from a core developer.
pr-welcome
pr-welcome
A PR from an external contributor, implementing the RFC as described, would be welcome.
2
question
question
Further information is requested
refactoring
refactoring
Code refactoring
2
release-ci
release-ci
Enable all CI checks for a PR, like is done for releases
15
reservoir
reservoir
RFC accepted
RFC accepted
RFC is waiting for a corresponding PR (external or internal)
12
RFC
RFC
Request for comments
101
server
server
Affects the Lean server code
34
stale
stale
23
tests
tests
Additional or improved tests, but no change to function
toolchain-available
toolchain-available
A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
142
will-merge-soon
will-merge-soon
…unless someone speaks up
WIP
WIP
This is work in progress, and only a PR for the sake of CI or sharing. No review yet.
10
Wont implement
Wont implement
We will not implement this request
wontfix
wontfix
This will not be worked on