Skip to content

No labels!

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

21 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
1
build
build
cli
cli
core
core
9
documentation
documentation
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
experimental
experimental
1
export
export
2
good first issue
good first issue
Good for newcomers
2
help wanted
help wanted
Extra attention is needed
import
import
2
invalid
invalid
This doesn't seem right
parsing
parsing
prover
prover
1
question
question
Further information is requested
research
research
Research, also into code-related subjects.
1
test
test
ux
ux
2
wip
wip
Work In Progress (not ready for merging)
1
wontfix
wontfix
This will not be worked on