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.0.tar.gz
md5=2af0c4fad88969e70bcf60ba988f4e08

Description

Tags

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

Published: 12 Nov 2017

Dependencies (4)

  1. coq-mathcomp-algebra >= "1.6" & < "1.8.0~"
  2. coq-mathcomp-ssreflect >= "1.6" & < "1.8.0~"
  3. coq >= "8.5" & < "8.8~"
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None