package coq-mathcomp-multinomials

  1. Overview
  2. No Docs
A multivariate polynomial library for the Mathematical Components Library

Install

Dune Dependency

Authors

Maintainers

Sources

1.2.tar.gz
sha256=2422aac5dd59589e566bbd5c13030437680183a553f95f6648469b80ea77af71

Description

Dependencies (4)

  1. coq-mathcomp-finmap >= "1.2.0" & < "1.3.0~"
  2. coq-mathcomp-bigenough >= "1.0.0" & < "1.1.0~"
  3. coq-mathcomp-algebra (>= "1.8.0" & < "1.9.0~")
  4. coq >= "8.7"

Dev Dependencies

None

Used by (2)

  1. coq-coqeal < "1.0.2"
  2. coq-validsdp < "1.0.2"

Conflicts

None