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
bug
bug
Something isn't working
challenge
challenge
Competitive open challenge
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
proof assistants
proof assistants
Topic related to proof assistants
proof minimization
proof minimization
Formal proof search, the shorter the better
question
question
Further information is requested
questions
questions
To ask questions related to a particular topic
suggestions
suggestions
To make suggestions related to a particular topic
wontfix
wontfix
This will not be worked on