Labels

• Coq Consortium support services

  Reporter subscribed Coq Consortium support services and requests processing by Consortium engineers.
• difficulty: hard
• food for thought

  Issue that could be closed but would still be worth thinking about.
• good first issue

  Beginners welcome to submit a pull request.
• help wanted
• hijacked

  Discussion went off topic.
• kind: anomaly

  An uncaught exception has been raised.
• kind: bug

  An error, flaw, fault or unintended behaviour.
• kind: ci-failure

  Information about unexpected and random CI failures.
• kind: cleanup

  Code removal, deprecation, refactorings, etc.
• kind: compatibility

  Changes allowing for compatibility between versions.
• kind: deprecation

  Deprecation
• kind: design discussion

  Discussion about the design of a feature.
• kind: documentation

  Additions or improvement to documentation.
• kind: enhancement

  Enhancement to an existing user-facing feature, tactic, etc.
• kind: experiment
• kind: feature

  New user-facing feature request or implementation.
• kind: fix

  This fixes a bug or incorrect documentation.
• kind: inconsistency

  Proof of False accepted by the kernel and/or checker.
• kind: infrastructure

  CI, build tools, development tools.
• kind: internal

  API, ML documentation...
• kind: kernel segfault/exploit

  Bug in the kernel and/or checker permitting arbitrary code execution.
• kind: meta

  About the process of developing Coq.
• kind: ocaml API
• kind: performance

  Improvements to performance and efficiency.
• kind: question

  Issues seeking an answer to a question. Consider asking on zulip instead.
• kind: redesign

  The same functionality is being re-implemented in a different way.
• kind: regression

  Problems that were not present in previous versions.
• kind: usability

  Not a bug (fix) but a usability issue / improvement, e.g. UI or syntax inconsistencies
• kind: user messages

  Error messages, warnings, etc.