Paquet : libcoq-stdlib (8.19.1+dfsg-3) [debports]

Liens pour libcoq-stdlib

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [coq.inria.fr]

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

rec: coq

outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)

Télécharger libcoq-stdlib

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64 (portage non officiel)	23 105,4 ko	154 537,0 ko	[liste des fichiers]