Paket: libcoq-mathcomp-multinomials (2.3.0-1 und andere)

Links für libcoq-mathcomp-multinomials

eLxr Patch-Überblick

Quellcode-Paket mathcomp-multinomials herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [github.com]

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.

Andere Pakete mit Bezug zu libcoq-mathcomp-multinomials

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libcoq-elpi (>= 1.19)

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

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-ausx4 [amd64]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-algebra
dep: libcoq-mathcomp-bigenough-06xl3 [amd64]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-bigenough-j2g53 [arm64]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-finmap-o3t30 [arm64]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-finmap
dep: libcoq-mathcomp-finmap-ovde1 [amd64]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-finmap
dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-ssreflect

sug: ocaml-findlib

management tool for OCaml libraries

libcoq-mathcomp-multinomials herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	2.3.0-1+b7	1.795,3 kB	7.025,0 kB	[Liste der Dateien]
arm64	2.3.0-1+b7	1.793,4 kB	7.025,0 kB	[Liste der Dateien]