package coq-mathcomp-multinomials
A Multivariate polynomial Library for the Mathematical Components Library
Install
Dune Dependency
Authors
Maintainers
Sources
2.1.0.tar.gz
sha512=96cde58cafbb60797bd2d8dc988251abb0a0f33837389b06c073947fb41cec1ed9eae8a152f007c1fa006990b07d361e3584d07b58c035e427799915e519eaaf
Description
Tags
keyword:multinomials keyword:monoid algebra category:Mathematics/Algebra/Multinomials category:Mathematics/Algebra/Monoid algebra logpath:mathcomp.multinomialsPublished: 26 Oct 2023
Dependencies (2)
- coq-mathcomp-algebra
-
dune
>= "2.8"
Dev Dependencies (4)
-
coq-mathcomp-finmap
(>= "2.0" & < "2.1~") | = "dev" -
coq-mathcomp-bigenough
(>= "1.0" & < "1.1~") | = "dev" -
coq-mathcomp-ssreflect
(>= "2.0" & < "2.2~") | = "dev" -
coq
(>= "8.16" & < "8.19~") | = "dev"
Used by (2)
-
coq-coqeal
>= "2.0.0" - coq-validsdp
Conflicts
None
On This Page