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

Paquet : why3-coq (1.2.0-1)

Liens pour why3-coq

Screenshot

Ressources Debian :

Télécharger le paquet source why3 :

Responsables :

Ressources externes :

Paquets similaires :

Coq support for the why3 verification platform

This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.

Autres paquets associés à why3-coq

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger why3-coq

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
armel 581,4 ko2 709,0 ko [liste des fichiers]