Skip to content

No labels!

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

36 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
drops: coq 8.15
drops: coq 8.15
drops: coq 8.16
drops: coq 8.16
1
drops: coq 8.17
drops: coq 8.17
1
drops: coq 8.18
drops: coq 8.18
kind: bug
kind: bug
Issue which describe bugs
7
kind: build
kind: build
Issue or PR about the build system/ (Makefile, Dune, ...)
1
kind: CI
kind: CI
Issue or PR about the CI. (Gitlab CI or CI of dependencies problems linked with math-comp)
2
kind: clean-up
kind: clean-up
This issure/PR is about cleaning up obsolete code, removing hacks, etc
1
kind: coq ↝
kind: coq ↝
Issue or PR that should be transferred to Coq.
6
kind: documentation
kind: documentation
Issue or PR about documentation mistakes, deficiencies, enhancements, ...
kind: duplicate
kind: duplicate
Issue or PR that is a duplicate with another, please refer to, merge and close one of them ASAP.
kind: enhancement
kind: enhancement
Issue or PR about addition of features.
17
kind: fix
kind: fix
PR that fixes a bug. Please refer to the appropriate issue(s) if relevant.
kind: good first issue
kind: good first issue
This issue should be easy to fix.
kind: help wanted
kind: help wanted
PR for which help is requested.
2
kind: meta-issue
kind: meta-issue
This issue should be split between several issues, and index them.
1
kind: nix
kind: nix
kind: question
kind: question
Issue asking a question about math-comp.
3
kind: refactoring
kind: refactoring
Issue or PR about a refactoring. (reorganizing the code, reusing theorems, simplifications...)
3
kind: stand by
kind: stand by
PR that is currently stalled.
kind: style
kind: style
This issue / PR is about setting or fixing a coding / proof style convention in the library.
kind: tool
kind: tool
Issue or PR about a tool. (e.g. packager or hierarchy_diagram)
kind: warning
kind: warning
Issue or PR about a warning raised by Coq
kind: wontfix
kind: wontfix
Issue that might never be attended.
needs: assignee
needs: assignee
Issue or PR that needs an assignee. Please volunteer.
2
needs: coq 8.18
needs: coq 8.18
needs: discussion
needs: discussion
Issue or PR that needs discussion. Please come in a give your opinion.
3
needs: documentation
needs: documentation
PR that lacks documentation, or with broken documentation.
needs: fix
needs: fix
PR that needs to be fix (generally because reviewers asked to).
3
needs: merge of dependencies
needs: merge of dependencies
PR that depends on another. Documented in the original post of the PR. Review only the increment.
4