toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : why3  ]

Paquet : why3-examples (1.7.2-2)

Liens pour why3-examples

Screenshot

Ressources Debian :

Télécharger le paquet source why3 :

Responsables :

Ressources externes :

Paquets similaires :

exemples pour la plateforme de vérification why3

Ce paquet fournit des exemples pour les tâches de vérification de programme et pour des tâches de vérification logique pure, pour la plateforme de vérification de logiciel why3.

Autres paquets associés à why3-examples

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger why3-examples

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 3 952,8 ko18 135,0 ko [liste des fichiers]