Skip to content

No labels!

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

157 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
11
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.
18
help wanted
help wanted
24
hijacked
hijacked
Discussion went off topic.
kind: anomaly
kind: anomaly
An uncaught exception has been raised.
114
kind: bug
kind: bug
An error, flaw, fault or unintended behaviour.
439
kind: ci-failure
kind: ci-failure
Information about unexpected and random CI failures.
1
kind: cleanup
kind: cleanup
Code removal, deprecation, refactorings, etc.
29
kind: compatibility
kind: compatibility
Changes allowing for compatibility between versions.
3
kind: deprecation
kind: deprecation
Deprecation
kind: design discussion
kind: design discussion
Discussion about the design of a feature.
107
kind: documentation
kind: documentation
Additions or improvement to documentation.
234
kind: enhancement
kind: enhancement
Enhancement to an existing user-facing feature, tactic, etc.
374
kind: experiment
kind: experiment
kind: feature
kind: feature
New user-facing feature request or implementation.
122
kind: fix
kind: fix
This fixes a bug or incorrect documentation.
7
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...
30
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: ocaml API
kind: ocaml API
kind: performance
kind: performance
Improvements to performance and efficiency.
129
kind: question
kind: question
Issues seeking an answer to a question. Consider asking on zulip instead.
66
kind: redesign
kind: redesign
The same functionality is being re-implemented in a different way.
7
kind: regression
kind: regression
Problems that were not present in previous versions.
52
kind: usability
kind: usability
Not a bug (fix) but a usability issue / improvement, e.g. UI or syntax inconsistencies
24
kind: user messages
kind: user messages
Error messages, warnings, etc.
216