[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Paquet source : coq-gappa ]

Paquet : libcoq-gappa (1.7.0-1 et autres)

Liens pour libcoq-gappa

Ressources Debian :

Télécharger le paquet source coq-gappa :

Responsables :

Ressources externes :

Page d'accueil [gappa.gitlabpages.inria.fr]

Paquets similaires :

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

dépendances

recommandations

suggestions

enhances

dep: gappa

Automatic generation of proofs of arithmetic properties
dep: libcoq-flocq-4cm59 [ppc64el]

paquet virtuel fourni par libcoq-flocq
dep: libcoq-flocq-61k63 [amd64]

paquet virtuel fourni par libcoq-flocq
dep: libcoq-flocq-g5ib5 [riscv64]

paquet virtuel fourni par libcoq-flocq
dep: libcoq-flocq-h1gl8 [arm64]

paquet virtuel fourni par libcoq-flocq
dep: libcoq-flocq-o4m69 [s390x]

paquet virtuel fourni par libcoq-flocq
dep: libcoq-stdlib-1ns11 [arm64]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-gappa

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1.7.0-1+b1	537,8 ko	1 385,0 ko	[liste des fichiers]
arm64	1.7.0-1+b1	540,9 ko	1 413,0 ko	[liste des fichiers]
ppc64el	1.7.0-1+b1	537,1 ko	1 413,0 ko	[liste des fichiers]
riscv64	1.7.0-1+b1	538,5 ko	1 389,0 ko	[liste des fichiers]
s390x	1.7.0-1+b2	538,3 ko	1 397,0 ko	[liste des fichiers]