toutes les options
bookworm  ] [  sid  ]
[ Paquet source : coq-gappa  ]

Paquet : libcoq-gappa (1.5.2-5)

Liens pour libcoq-gappa

Screenshot

Ressources Debian :

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

Responsables :

Ressources externes :

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

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 ko2 116,0 ko [liste des fichiers]
arm64 506,0 ko2 156,0 ko [liste des fichiers]
armhf 501,7 ko2 070,0 ko [liste des fichiers]
i386 500,3 ko2 094,0 ko [liste des fichiers]
ppc64el 502,8 ko2 156,0 ko [liste des fichiers]
s390x 504,1 ko2 124,0 ko [liste des fichiers]