-
Notifications
You must be signed in to change notification settings - Fork 110
Issues: math-comp/math-comp
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Search
in
directive does not interact well with submodules designed for opacification
#1220
opened May 29, 2024 by
CohenCyril
Nix CI of MathComp should run the test suites of Mczify and Algebra Tactics
#1219
opened May 28, 2024 by
pi8027
Provide column vector versions of defs/lemmas in mxalgebra and vector
#1204
opened Apr 5, 2024 by
proux01
Sharing bigop lemmas between monoids and idempotent semigroups (bands)
kind: enhancement
Issue or PR about addition of features.
#1189
opened Mar 25, 2024 by
pi8027
Refactor qpoly and poly
kind: refactoring
Issue or PR about a refactoring. (reorganizing the code, reusing theorems, simplifications...)
#1128
opened Nov 27, 2023 by
pi8027
Semi-modules and semi-algebras
kind: enhancement
Issue or PR about addition of features.
#1124
opened Nov 14, 2023 by
pi8027
Investigate slowness of mathcomp's vs. coq's GitLab CI builds
kind: CI
Issue or PR about the CI. (Gitlab CI or CI of dependencies problems linked with math-comp)
#1078
opened Sep 20, 2023 by
erikmd
Create documentation for eqVneq as a preferred way to perform case analysis on boolean equality
#1005
opened May 3, 2023 by
ybertot
Previous Next
ProTip!
Adding no:label will show everything without a label.