Skip to content

No labels!

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

18 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
3
code improvement
code improvement
Improvement on code side with no direct feature impact
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
Enhancement to an existing feature
8
feature
feature
New feature or request
8
good first issue
good first issue
Good for newcomers
1
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
part: automated prover
part: automated prover
Automated LL prover
1
part: cut elimination
part: cut elimination
Cut elimination proof transformation
3
part: exchange
part: exchange
Exchange rule
4
question
question
Further information is requested
regression
regression
Something is not working anymore
version: development
version: development
happens on development version
1
version: pre-production
version: pre-production
happens on pre-production version
1
version: production
version: production
happens on production version
1
wontfix
wontfix
This will not be worked on
2