Paket: libcoq-mathcomp-zify (1.2.0+1.12+8.13-6 und andere)

Links für libcoq-mathcomp-zify

Debian-Ressourcen:

Quellcode-Paket mathcomp-zify herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [github.com]

Micromega arithmetic solvers for Mathematical Components

This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic.

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-zify

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libcoq-mathcomp-algebra-fo2h3 [armhf]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-jkay4 [arm64]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-npfq8 [i386]

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

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-q5ru3 [ppc64el]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-skso8 [s390x]

virtuelles Paket, bereitgestellt durch libcoq-mathcomp-algebra

sug: ocaml-findlib

Verwaltungswerkzeug für OCaml-Bibliotheken

libcoq-mathcomp-zify herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	1.2.0+1.12+8.13-6+b4	223,1 kB	1.230,0 kB	[Liste der Dateien]
arm64	1.2.0+1.12+8.13-6+b4	223,2 kB	1.230,0 kB	[Liste der Dateien]
armhf	1.2.0+1.12+8.13-6+b4	223,4 kB	1.230,0 kB	[Liste der Dateien]
i386	1.2.0+1.12+8.13-6+b4	223,1 kB	1.230,0 kB	[Liste der Dateien]
ppc64el	1.2.0+1.12+8.13-6+b4	223,3 kB	1.230,0 kB	[Liste der Dateien]
s390x	1.2.0+1.12+8.13-6+b4	223,4 kB	1.230,0 kB	[Liste der Dateien]