Paquet : why3-coq (1.3.3-3) [debports]

[ Paquet source :  ]

prise en charge de coq pour la plateforme de vérification why3

Ce paquet fournit les fichiers coq compilés nécessaires pour utiliser l’assistant de preuve coq en collaboration avec la plateforme pour la vérification déductive de programme why3.

Autres paquets associés à why3-coq

• dep: coq-8.12.0+4.11.1

  paquet virtuel fourni par coq

• dep: tex-common (>= 6.13)

  infrastructure commune pour construire et installer TeX

• rec: why3

  plateforme de vérification logicielle

Télécharger why3-coq

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
x32 (portage non officiel)	739,2 ko	3 826,0 ko	[liste des fichiers]