Paquet : libaac-tactics-ocaml (8.15.0-1)
Liens pour libaac-tactics-ocaml
Ressources Trisquel :
Télécharger le paquet source aac-tactics :
Responsable :
Original Maintainers:
- Debian OCaml Maintainers (Archive du courrier électronique)
- Stéphane Glondu
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-core-ocaml-aosg1 [amd64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-nf5u3 [ppc64el]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rt7d5 [arm64]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zjlv3 [armhf]
- paquet virtuel fourni par libcoq-core-ocaml
-
- dep: libzarith-ocaml-4dps0 [non armhf]
- paquet virtuel fourni par libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf]
- paquet virtuel fourni par libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- paquet virtuel fourni par ocaml-base
-
- rec: libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Télécharger libaac-tactics-ocaml
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 127,7 ko | 465 ko | [liste des fichiers] |
arm64 | 146,6 ko | 525 ko | [liste des fichiers] |
armhf | 128,2 ko | 367 ko | [liste des fichiers] |
ppc64el | 134,3 ko | 601 ko | [liste des fichiers] |