toutes les options
bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : coq  ]

Paquet : libcoq-stdlib (8.19.1+dfsg-3 et autres)

Liens pour libcoq-stdlib

Screenshot

Ressources Debian :

Télécharger le paquet source coq :

Responsables :

Ressources externes :

Paquets similaires :

outil d'aide à la preuve pour la logique d'ordre supérieur (théories)

Coq est un assistant de preuve pour la logique d'ordre supérieur, qui permet le développement de programmes d'ordinateur correspondant à une spécification formelle. Il est développé en Objective Caml et Camlp5.

Ce paquet contient des théories existantes sur lesquelles les nouvelles preuves peuvent se baser, incluant des théories arithmétiques et des valeurs booléennes.

Autres paquets associés à libcoq-stdlib

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libcoq-stdlib

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
s390x 8.19.1+dfsg-3+b2 23 100,3 ko154 540,0 ko [liste des fichiers]