[ sid ]
套件:libaac-tactics-ocaml(8.11.0-1 以及其他的) [debports]
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.
其他與 libaac-tactics-ocaml 有關的套件
|
|
|
|
-
- dep: libcoq-ocaml-mdvi3 [sparc64]
- 套件暫時不可用
-
- dep: libcoq-ocaml-p2447 [sh4]
- 套件暫時不可用
-
- dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]
- 套件暫時不可用
-
- dep: libcoq-ocaml-tvkp6 [alpha]
- 套件暫時不可用
-
- dep: ocaml-base-nox-4.05.0 [alpha]
- 套件暫時不可用
-
- dep: ocaml-base-nox-4.08.1 [除 alpha]
- 套件暫時不可用
-
- rec: libaac-tactics-coq
- 套件暫時不可用
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
下載 libaac-tactics-ocaml
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 8.8.0+1.gbp069dc3b-1+b2 | 27。0 kB | 135。0 kB | [檔案列表] |
hppa (非官方移植版) | 8.9.0-1+b1 | 26。7 kB | 130。0 kB | [檔案列表] |
ia64 (非官方移植版) | 8.9.0-1+b1 | 26。7 kB | 130。0 kB | [檔案列表] |
sh4 (非官方移植版) | 8.11.0-1+b2 | 25。3 kB | 115。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 8.8.0+1.gbp069dc3b-1+b2 | 26。7 kB | 131。0 kB | [檔案列表] |
x32 (非官方移植版) | 8.9.0-1+b1 | 26。7 kB | 130。0 kB | [檔案列表] |