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

Paquet : coq (8.12.0-3 et autres)

Liens pour coq

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 (environnement interactif et compilateur)

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 coqtop, une interface en ligne de commande pour Coq.

Une interface graphique pour Coq est fournie dans le paquet coqide. On peut aussi utiliser Coq avec ProofGeneral, qui permet l'édition de preuves dans Emacs et XEmacs. Pour cela, le paquet proofgeneral doit être installé.

Étiquettes: Développement de logiciel: Compilateur, Domaine: Mathématiques, Mis en œuvre en: implemented-in::ocaml, interface::commandline, Interface utilisateur: Interactive en mode texte, Rôle: role::program, scope::utility, Boîte à outils d'interface utilisateur: Interface utilisateur texte ncurses

Autres paquets associés à coq

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger coq

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 103 380,6 ko412 882,0 ko [liste des fichiers]
amd64 8.12.0-3+b3 88 333,2 ko358 108,0 ko [liste des fichiers]
arm64 8.12.0-3+b3 93 820,2 ko384 451,0 ko [liste des fichiers]
armel 8.12.0-3+b3 103 391,0 ko412 954,0 ko [liste des fichiers]
armhf 8.12.0-3+b3 86 284,5 ko308 733,0 ko [liste des fichiers]
hppa (portage non officiel) 8.12.0-3+b3 103 393,2 ko412 952,0 ko [liste des fichiers]
i386 8.12.0-3+b3 85 826,4 ko329 208,0 ko [liste des fichiers]
ia64 (portage non officiel) 8.12.0-3+b3 103 379,1 ko412 878,0 ko [liste des fichiers]
m68k (portage non officiel) 8.1.pl3+dfsg-1+b2 4 014,9 ko18 580,0 ko [liste des fichiers]
mips64el 8.12.0-3+b3 103 385,3 ko412 882,0 ko [liste des fichiers]
mipsel 8.12.0-3+b3 103 402,0 ko412 954,0 ko [liste des fichiers]
ppc64 (portage non officiel) 8.12.0-3+b3 87 960,7 ko389 569,0 ko [liste des fichiers]
ppc64el 8.12.0-3+b3 89 332,1 ko371 137,0 ko [liste des fichiers]
riscv64 (portage non officiel) 8.12.0-3+b3 85 837,1 ko358 702,0 ko [liste des fichiers]
sh4 (portage non officiel) 8.12.0-3+b3 103 401,4 ko412 954,0 ko [liste des fichiers]
sparc64 (portage non officiel) 8.12.0-3+b3 103 374,8 ko412 882,0 ko [liste des fichiers]
x32 (portage non officiel) 8.12.0-3+b3 103 397,8 ko412 954,0 ko [liste des fichiers]