package coq-mathcomp-multinomials
A Multivariate polynomial Library for the Mathematical Components Library
Install
Dune Dependency
Authors
Maintainers
Sources
1.6.0.tar.gz
sha512=4b1139e20c1ac97d2fbd965cd15aae23f1e7a3180d2b2b6a63abff6d3096ae506bb2beccb90567d4f0972574eb203ec6904e437330d5813d676e2231e4618332
Description
Tags
keyword:multinomials keyword:monoid algebra category:Math/Algebra/Multinomials category:Math/Algebra/Monoid algebra logpath:mathcomp.multinomialsPublished: 17 May 2023
Dependencies (2)
- coq-mathcomp-algebra
-
dune
>= "2.8"
Dev Dependencies (4)
-
coq-mathcomp-finmap
(>= "1.5" & < "1.6~") | = "dev" -
coq-mathcomp-bigenough
(>= "1.0" & < "1.1~") | = "dev" -
coq-mathcomp-ssreflect
(>= "1.13" & < "1.19~") | = "dev" -
coq
(>= "8.13" & < "8.19~") | = "dev"
Used by (2)
-
coq-coqeal
= "1.1.3" -
coq-validsdp
< "1.0.3"
Conflicts
None
On This Page