Yirmiuc / libcoq-mathcomp-multinomials

Multivariate polynomials for Mathematical Components

•     Debian OCaml Maintainers
•     [email protected]
•     https://github.com/math-comp/multinomials
•     1.5.5-8+b5
•     libcoq-mathcomp-multinomials_1.5.5-8+b5_amd64.deb
•     1.3 MiB
•     ocaml
•     amd64
•      mathcomp-multinomials_1.5.5-8.debian.tar.xz
            mathcomp-multinomials_1.5.5-8.dsc
            mathcomp-multinomials_1.5.5.orig.tar.gz
•     Debian Versiyonu: 1.5.5-8+b5
•     Multivariate polynomials for Mathematical Components