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" :bug:
This issue (resp. PR) describes (resp. fixes) a "bug"
9
build/continuous integration ⚙️
build/continuous integration :gear:
This issue/PR is about the build process or CI
1
change MathComp
change MathComp
This issue/PR involves a change in the core mathcomp repository
documentation 📝
documentation :memo:
This issue/PR is about documentation of the library / repository
7
enhancement ✨
enhancement :sparkles:
This issue/PR is about adding new features enhancing the library
29
experiment 🧪
experiment :test_tube:
This issue/PR is very experimental
13
good first issue
good first issue
This should be a problem easy to tackle by a beginner
1
help 🆘
help :sos:
This author/reviewer of this issue/PR needs external help
1
packaging/releasing
packaging/releasing
Issue/PR about packaging or realising.
1
question ❓
question :question:
There is an unanswered question here
12
renaming/refactoring 🔧
renaming/refactoring :wrench:
This is about a renaming or refactoring in the library
21
TODO: MC2 port
TODO: MC2 port
This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
11
wish 🙏
wish :pray:
Request for a specific mathematical result
9
wontfix/merge 🚫
wontfix/merge :no_entry_sign:
We wont fix this issue/merge this PR, we will close it soon
3