[ Paquet source : aac-tactics ]
Paquet : libcoq-aac-tactics (8.17.0-1 et autres)
Liens pour libcoq-aac-tactics
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 aac-tactics :
Responsables :
- Debian OCaml Maintainers (Page QA, Archive du courrier électronique)
- Stéphane Glondu (Page QA)
- Julien Puydt (Page QA)
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
tactiques Coq pour raisonner modulo AC — théories
Ce greffon fournit des tactiques pour la réécriture des équations universelles quantifiées, modulo des opérateurs d'associativité (et possiblement de commutativité).
Ce paquet fournit la bibliothèque de prise en charge de Coq.
Autres paquets associés à libcoq-aac-tactics
|
|
|
|
-
- dep: libcoq-core-ocaml-4ew58
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-stdlib-u2uh4
- paquet virtuel fourni par libcoq-stdlib
-
- dep: libzarith-ocaml-aip06
- paquet virtuel fourni par libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- paquet virtuel fourni par ocaml-base
Télécharger libcoq-aac-tactics
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| armhf | 8.17.0-1+b2 | 379,5 ko | 2 801,0 ko | [liste des fichiers] |