Paquet : libcoq-gappa (1.5.2-5)

[ Paquet source : coq-gappa  ]

Coq tactic to use Gappa for floating-point goals

This package provides a Coq tactic to discharge goals about floating-point arithmetic and round-off errors to Gappa.

Gappa is a prover for numerical properties.

Coq is a proof assistant for higher-order logic.

Autres paquets associés à libcoq-gappa

• dep: gappa

  Automatic generation of proofs of arithmetic properties

• dep: libcoq-flocq-68ii0 [arm64]

  paquet virtuel fourni par libcoq-flocq

• dep: libcoq-flocq-g8nw3 [amd64]

  paquet virtuel fourni par libcoq-flocq

• dep: libcoq-flocq-jd6k9 [i386]

  paquet virtuel fourni par libcoq-flocq

• dep: libcoq-flocq-llvl4 [armhf]

  paquet virtuel fourni par libcoq-flocq

• dep: libcoq-flocq-ns8h1 [ppc64el]

  paquet virtuel fourni par libcoq-flocq

• dep: libcoq-flocq-yl612 [s390x]

  paquet virtuel fourni par libcoq-flocq

• dep: libcoq-stdlib-8sdz0 [s390x]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-bj4w1 [i386]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-bk0m4 [ppc64el]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-ctiy2 [arm64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-ewsr6 [amd64]

  paquet virtuel fourni par libcoq-stdlib

• dep: libcoq-stdlib-u2uh4 [armhf]

  paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-gappa

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	503,1 ko	2 116,0 ko	[liste des fichiers]
arm64	506,0 ko	2 156,0 ko	[liste des fichiers]
armhf	501,7 ko	2 070,0 ko	[liste des fichiers]
i386	500,3 ko	2 094,0 ko	[liste des fichiers]
ppc64el	502,8 ko	2 156,0 ko	[liste des fichiers]
s390x	504,1 ko	2 124,0 ko	[liste des fichiers]