[ experimental ]
[ Paquet source : coq ]
Paquet : libcoq-core (9.1.0+dfsg-1)
Liens pour libcoq-core
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source coq :
Responsables :
- Debian OCaml Maintainers (Page QA, Archive du courrier électronique)
- Benjamin Barenblat (Page QA)
- Julien Puydt (Page QA)
- Ralf Treinen (Page QA)
- Stéphane Glondu (Page QA)
Ressources externes :
- Page d'accueil [coq.inria.fr]
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 (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-core
|
|
|
|
-
- rec: coq
- outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
Télécharger libcoq-core
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 1 112,1 ko | 5 695,0 ko | [liste des fichiers] |
| arm64 | 1 112,1 ko | 5 695,0 ko | [liste des fichiers] |
| ppc64el | 1 111,0 ko | 5 695,0 ko | [liste des fichiers] |
| riscv64 | 1 109,7 ko | 5 695,0 ko | [liste des fichiers] |
| s390x | 1 111,3 ko | 5 695,0 ko | [liste des fichiers] |