Skip to content

No labels!

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

16 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
1
contribution
contribution
Contributions to Tarski
2
design
design
discussion
discussion
documentation
documentation
Something to know about
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
Enhances existing features
4
feature request
feature request
A request for something new
1
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
in-the-freezer
in-the-freezer
Might be worth discussing again in the future....
invalid
invalid
This doesn't seem right
question
question
Further information is requested
Task
Task
In progress tasks
third-party
third-party
Cause by a third-party dependency
wontfix
wontfix
This will not be worked on