package coq-mathcomp-multinomials
A Multivariate polynomial Library for the Mathematical Components Library
Install
Dune Dependency
Authors
Maintainers
Sources
2.4.0.tar.gz
sha512=9ef2deee0542de6a80cbd3785333bc8eb0e65440622e0f7582b35bb69ef382de83ee78a8baacd7074859be92cb15a26fbce8ab33d454e9c158dbbc9f5a17a091
Description
Tags
keyword:multinomials keyword:monoid algebra category:Mathematics/Algebra/Multinomials category:Mathematics/Algebra/Monoid algebra logpath:mathcomp.multinomialsPublished: 10 May 2025
Dependencies (3)
- coq-mathcomp-algebra
-
coq-core
>= "9.0" & < "9.1~" -
coq
>= "8.18" & < "8.21~"
Dev Dependencies (3)
-
coq-mathcomp-finmap
(>= "2.0" & < "2.3~") | = "dev" -
coq-mathcomp-bigenough
(>= "1.0" & < "1.1~") | = "dev" -
coq-mathcomp-ssreflect
(>= "2.0" & < "2.5~") | = "dev"
Used by (3)
-
coq-coqeal
>= "2.0.0" - coq-mathcomp-cad
- coq-validsdp
Conflicts
None
On This Page