package coq-mathcomp-multinomials

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

Install

Dune Dependency

github.com Edit opam file Versions (16)

Authors

  1. P
    Pierre-Yves Strub

Maintainers

  1. P
    pierre-yves@strub.nu

Sources

1.1.tar.gz
md5=e22b275b1687878d2bdc9b6922d9fde5

Description

Tags

keyword:multinomials keyword:monoid algebra category:Math/Algebra/Multinomials category:Math/Algebra/Monoid algebra date:2016 logpath:SsrMultinomials

Published: 18 Aug 2018

Dependencies (6)

  1. coq-mathcomp-finmap >= "1.0.0" & < "1.1.0~"
  2. coq-mathcomp-bigenough >= "1.0.0" & < "1.1.0~"
  3. coq-mathcomp-algebra >= "1.6" & < "1.8.0~"
  4. coq-mathcomp-ssreflect >= "1.6" & < "1.8.0~"
  5. coq >= "8.5"
  6. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None