Paket: libaac-tactics-ocaml (8.11.0-1 och andra) [debports]
Länkar för libaac-tactics-ocaml
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Externa resurser:
- Hemsida [github.com]
Liknande paket:
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.
Andra paket besläktade med libaac-tactics-ocaml
|
|
|
|
-
- dep: libcoq-ocaml-mdvi3 [sparc64]
- Paketet inte tillgängligt
-
- dep: libcoq-ocaml-p2447 [sh4]
- Paketet inte tillgängligt
-
- dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]
- Paketet inte tillgängligt
-
- dep: libcoq-ocaml-tvkp6 [alpha]
- Paketet inte tillgängligt
-
- dep: ocaml-base-nox-4.05.0 [alpha]
- Paketet inte tillgängligt
-
- dep: ocaml-base-nox-4.08.1 [ej alpha]
- Paketet inte tillgängligt
-
- rec: libaac-tactics-coq
- Paketet inte tillgängligt
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Hämta libaac-tactics-ocaml
Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|---|
alpha (inofficiell anpassning) | 8.8.0+1.gbp069dc3b-1+b2 | 27,0 kbyte | 135,0 kbyte | [filförteckning] |
hppa (inofficiell anpassning) | 8.9.0-1+b1 | 26,7 kbyte | 130,0 kbyte | [filförteckning] |
ia64 (inofficiell anpassning) | 8.9.0-1+b1 | 26,7 kbyte | 130,0 kbyte | [filförteckning] |
sh4 (inofficiell anpassning) | 8.11.0-1+b2 | 25,3 kbyte | 115,0 kbyte | [filförteckning] |
sparc64 (inofficiell anpassning) | 8.8.0+1.gbp069dc3b-1+b2 | 26,7 kbyte | 131,0 kbyte | [filförteckning] |
x32 (inofficiell anpassning) | 8.9.0-1+b1 | 26,7 kbyte | 130,0 kbyte | [filförteckning] |