Pakiet: libcoq-mathcomp-multinomials (2.3.0-1 i inne)

Odnośniki dla libcoq-mathcomp-multinomials

Śledzenie łatek systemu eLxr

Pobieranie pakietu źródłowego mathcomp-multinomials:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

Multivariate polynomials for Mathematical Components

This package provides an extension to Mathematical Components for monomial algebra, multivariate polynomials over ring structures and an extended theory for polynomials whose coefficients live in abelian rings and integral domains.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Inne pakiety związane z libcoq-mathcomp-multinomials

wymaga

poleca

sugeruje

enhances

dep: libcoq-elpi (>= 1.19)

Coq plugin embedding Elpi
dep: libcoq-mathcomp-algebra-7yl00 [arm64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-ausx4 [amd64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra
dep: libcoq-mathcomp-bigenough-06xl3 [amd64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-bigenough-j2g53 [arm64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-finmap-o3t30 [arm64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-finmap
dep: libcoq-mathcomp-finmap-ovde1 [amd64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-finmap
dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

sug: ocaml-findlib

management tool for OCaml libraries

Pobieranie libcoq-mathcomp-multinomials

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	2.3.0-1+b7	1 795,3 KiB	7 025,0 KiB	[lista plików]
arm64	2.3.0-1+b7	1 793,4 KiB	7 025,0 KiB	[lista plików]