Paquet : coq-theories (8.9.0-1)

Liens pour coq-theories

Ressources Debian :

Télécharger le paquet source coq :

Responsables :

Debian OCaml Maintainers (Page QA, Archive du courrier électronique)
Benjamin Barenblat (Page QA)
Ralf Treinen (Page QA)
Samuel Mimram (Page QA)
Stéphane Glondu (Page QA)
Enrico Tassi (Page QA)

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.

Étiquettes: Développement de logiciel: Bibliothèques, Domaine: Mathématiques, Rôle: Données d'application

Autres paquets associés à coq-theories

dépendances

recommandations

suggestions

enhances

dep: coq-8.9.0+4.05.0

paquet virtuel fourni par coq
dep: libc6 (>= 2.2.5)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

rec: coq (>= 8.0)

proof assistant for higher-order logic (toplevel and compiler)

Télécharger coq-theories

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	29 040,7 ko	216 590,0 ko	[liste des fichiers]