Skip to content

No labels!

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

153 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
Coq Consortium support services
Coq Consortium support services
Reporter subscribed Coq Consortium support services and requests processing by Consortium engineers.
6
difficulty: hard
difficulty: hard
12
food for thought
food for thought
Issue that could be closed but would still be worth thinking about.
12
good first issue
good first issue
Beginners welcome to submit a pull request.
17
help wanted
help wanted
25
hijacked
hijacked
Discussion went off topic.
kind: anomaly
kind: anomaly
An uncaught exception has been raised.
118
kind: bug
kind: bug
An error, flaw, fault or unintended behaviour.
375
kind: ci-failure
kind: ci-failure
Information about unexpected and random CI failures.
1
kind: cleanup
kind: cleanup
Code removal, deprecation, refactorings, etc.
47
kind: compatibility
kind: compatibility
Changes allowing for compatibility between versions.
4
kind: deprecation
kind: deprecation
Deprecation
kind: design discussion
kind: design discussion
Discussion about the design of a feature.
118
kind: documentation
kind: documentation
Additions or improvement to documentation.
235
kind: enhancement
kind: enhancement
Enhancement to an existing user-facing feature, tactic, etc.
401
kind: experiment
kind: experiment
2
kind: feature
kind: feature
New user-facing feature request or implementation.
128
kind: fix
kind: fix
This fixes a bug or incorrect documentation.
14
kind: inconsistency
kind: inconsistency
Proof of False accepted by the kernel and/or checker.
4
kind: infrastructure
kind: infrastructure
CI, build tools, development tools.
84
kind: internal
kind: internal
API, ML documentation...
31
kind: kernel segfault/exploit
kind: kernel segfault/exploit
Bug in the kernel and/or checker permitting arbitrary code execution.
2
kind: meta
kind: meta
About the process of developing Coq.
15
kind: performance
kind: performance
Improvements to performance and efficiency.
138
kind: question
kind: question
Issues seeking an answer to a question. Consider asking on zulip instead.
65
kind: redesign
kind: redesign
The same functionality is being re-implemented in a different way.
6
kind: regression
kind: regression
Problems that were not present in previous versions.
51
kind: usability
kind: usability
Not a bug (fix) but a usability issue / improvement, e.g. UI or syntax inconsistencies
23
kind: user messages
kind: user messages
Improvement of error messages, new warnings, etc.
210
kind: wish
kind: wish
Feature or enhancement requests.
138