[ 源代码: aac-tactics ]
软件包:libcoq-aac-tactics(8.19.0-1 以及其他的)
Coq tactics for reasoning modulo AC (theories)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the Coq support library.
其他与 libcoq-aac-tactics 有关的软件包
|
|
|
|
-
- dep: libcoq-core-ocaml-95mg5 [i386]
- 本虚包由这些包填实: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-dubr8 [armhf]
- 本虚包由这些包填实: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-h8lz0 [ppc64el]
- 本虚包由这些包填实: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-msuf8 [amd64]
- 本虚包由这些包填实: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-o7b01 [s390x]
- 本虚包由这些包填实: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-sgxt2 [arm64]
- 本虚包由这些包填实: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-v85u8 [riscv64]
- 本虚包由这些包填实: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-vvuk3 [ppc64]
- 本虚包由这些包填实: libcoq-core-ocaml
-
- dep: libcoq-stdlib-4ftr7 [amd64]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-5b3c9 [arm64]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-6mgv9 [riscv64]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-93wq5 [ppc64el]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-n0k10 [ppc64]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-q1ie4 [s390x]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-rhfg4 [armhf]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-ry8i6 [i386]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libstdlib-ocaml-058x2 [ppc64el]
- 本虚包由这些包填实: libstdlib-ocaml
-
- dep: libstdlib-ocaml-1s7q8 [ppc64]
- 软件包暂时不可用
-
- dep: libstdlib-ocaml-dkl58 [i386]
- 本虚包由这些包填实: libstdlib-ocaml
-
- dep: libstdlib-ocaml-ep7y0 [amd64]
- 本虚包由这些包填实: libstdlib-ocaml
-
- dep: libstdlib-ocaml-fyga0 [arm64]
- 本虚包由这些包填实: libstdlib-ocaml
-
- dep: libstdlib-ocaml-rayz1 [armhf]
- 本虚包由这些包填实: libstdlib-ocaml
-
- dep: libstdlib-ocaml-vjut8 [riscv64]
- 本虚包由这些包填实: libstdlib-ocaml
-
- dep: libstdlib-ocaml-vneg5 [s390x]
- 本虚包由这些包填实: libstdlib-ocaml
-
- dep: libzarith-ocaml-avzf2 [s390x]
- 本虚包由这些包填实: libzarith-ocaml
-
- dep: libzarith-ocaml-v4iz3 [ppc64]
- 软件包暂时不可用
-
- dep: libzarith-ocaml-wx6x8 [armhf, i386]
- 本虚包由这些包填实: libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [amd64, arm64, ppc64el, riscv64]
- 本虚包由这些包填实: libzarith-ocaml
下载 libcoq-aac-tactics
硬件架构 | 版本 | 软件包大小 | 安装后大小 | 文件 |
---|---|---|---|---|
amd64 | 8.19.0-1 | 383.3 kB | 2,947.0 kB | [文件列表] |
arm64 | 8.19.0-1 | 391.4 kB | 3,067.0 kB | [文件列表] |
armhf | 8.19.0-1 | 381.5 kB | 2,733.0 kB | [文件列表] |
i386 | 8.19.0-1 | 375.4 kB | 2,829.0 kB | [文件列表] |
ppc64 (非官方移植版) | 8.17.0-3 | 383.7 kB | 3,265.0 kB | [文件列表] |
ppc64el | 8.19.0-1 | 385.8 kB | 3,067.0 kB | [文件列表] |
riscv64 | 8.19.0-1 | 385.7 kB | 2,979.0 kB | [文件列表] |
s390x | 8.19.0-1 | 384.1 kB | 3,017.0 kB | [文件列表] |