Paquet : libaac-tactics-ocaml (8.8.0+1.gbp069dc3b-1 et autres) [debports]
Liens pour libaac-tactics-ocaml
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
Coq tactics for reasoning modulo AC (plugin)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the plugin itself.
Autres paquets associés à libaac-tactics-ocaml
|
|
|
|
-
- dep: libcoq-ocaml-tvkp6
- Paquet indisponible
-
- dep: ocaml-base-nox-4.05.0
- Paquet indisponible
-
- rec: libaac-tactics-coq
- Paquet indisponible
-
- enh: coq
- outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
Télécharger libaac-tactics-ocaml
Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|---|
alpha (portage non officiel) | 8.8.0+1.gbp069dc3b-1+b2 | 27,0 ko | 135,0 ko | [liste des fichiers] |