Paquet : why3-coq (1.3.3-1 et autres)

[ Paquet source : why3  ]

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	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
arm64	1.3.3-1+b4	739,6 ko	3 830,0 ko	[liste des fichiers]