coq-mathcomp-multinomials

A Multivariate polynomial Library for the Mathematical Components Library

opam install coq-mathcomp-multinomials.1.5.3
homepage
https://github.com/math-comp/multinomials
license
CeCILL-B
bugs tracker
https://github.com/math-comp/multinomials/issues
dependencies
"coq" {>= "8.10" & < "8.13~"} "dune" {>= "2.5"} "coq-mathcomp-ssreflect" {>= "1.12" & < "1.13~"} "coq-mathcomp-algebra" "coq-mathcomp-bigenough" {>= "1.0" & < "1.1~"} "coq-mathcomp-finmap" {>= "1.5" & < "1.6~"}
source
https://github.com/math-comp/multinomials/archive/1.5.3.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.1.5.3