Paquet : coqide (8.12.0-3 et autres) [debports]

Liens pour coqide

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 (interface en GTK)

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 fournit CoqIDE, une interface graphique pour le développement de preuves.

Autres paquets associés à coqide

dépendances

recommandations

suggestions

enhances

dep: coq (= 8.12.0-3+b3)

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

Télécharger coqide

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	8.12.0-3+b3	45,6 ko	111,0 ko	[liste des fichiers]