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

Paquet : coq (9.1.0+dfsg-1)

Liens pour coq

Screenshot

Ressources Debian :

Télécharger le paquet source coq :

Responsables :

Ressources externes :

Paquets similaires :

Paquet « expérimental »

Avertissement : ce paquet appartient à la distribution expérimentale. Cela signifie qu'il peut être instable ou bogué et peut éventuellement causer des pertes de données. Assurez-vous de consulter le journal des modifications (changelog) et les autres documentations existantes avant de l'utiliser.

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 Taille du paquet Espace occupé une fois installé Fichiers
amd64 38 679,5 ko160 187,0 ko [liste des fichiers]
arm64 42 220,8 ko178 262,0 ko [liste des fichiers]
ppc64el 39 383,1 ko169 751,0 ko [liste des fichiers]
riscv64 39 481,6 ko168 102,0 ko [liste des fichiers]
s390x 39 313,2 ko175 585,0 ko [liste des fichiers]