[ bookworm ] [ trixie ] [ sid ]

[ Paquet source : coq-gappa ]

Paquet : libcoq-gappa (1.5.5-2 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-6ntx5 [s390x]

paquet virtuel fourni par libcoq-flocq
dep: libcoq-flocq-8g8u8 [ppc64el]

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

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

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

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

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

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

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

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-wfue2 [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.5.5-2+b2	504,5 ko	2 125,0 ko	[liste des fichiers]
arm64	1.5.5-2+b2	507,3 ko	2 157,0 ko	[liste des fichiers]
ppc64el	1.5.5-2+b3	503,5 ko	2 157,0 ko	[liste des fichiers]
riscv64	1.5.5-2+b2	505,3 ko	2 133,0 ko	[liste des fichiers]
s390x	1.5.5-2+b2	505,6 ko	2 141,0 ko	[liste des fichiers]