[ Source: aac-tactics ]
Package: libcoq-aac-tactics (8.20.0-1 and others)
Links for libcoq-aac-tactics
Debian Resources:
Download Source Package aac-tactics:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Coq-taktik for ræsonnement-modulo AC - teorier
Dette Coq-udvidelsesmodul tilbyder taktikker for omskrivning af universelle kvantificerede ligninger, modulo-associative (og muligvis kommutative) operatorer.
Denne pakke tilbyder understøttelsesbiblioteket for Coq.
Other Packages Related to libcoq-aac-tactics
|
|
|
|
-
- dep: libcoq-core-ocaml-29kh7 [amd64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cm0q5 [s390x]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-d2hd1 [loong64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-n64h2 [ppc64el]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rho03 [riscv64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ub9d2 [arm64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yi844 [ppc64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-stdlib-1ns11 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-68yx1 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-8jeh0 [s390x]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-mz9g4 [loong64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-q0rh7 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-twvz5 [ppc64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-wthf1 [riscv64]
- virtual package provided by libcoq-stdlib
-
- dep: libstdlib-ocaml-2d5j3 [s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-gats1 [ppc64]
- Package not available
-
- dep: libstdlib-ocaml-m4xw9 [not loong64, ppc64, s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-vyp69 [loong64]
- Package not available
-
- dep: libzarith-ocaml-2ofb9 [s390x]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-avzf2 [ppc64]
- Package not available
-
- dep: libzarith-ocaml-h79v1 [not loong64, ppc64, s390x]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [loong64]
- Package not available
Download libcoq-aac-tactics
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 8.20.0-1+b4 | 385.3 kB | 2,885.0 kB | [list of files] |
| arm64 | 8.20.0-1+b4 | 391.2 kB | 3,101.0 kB | [list of files] |
| loong64 (unofficial port) | 8.19.1-2 | 395.7 kB | 3,084.0 kB | [list of files] |
| ppc64 (unofficial port) | 8.19.1-2 | 393.2 kB | 3,244.0 kB | [list of files] |
| ppc64el | 8.20.0-1+b4 | 385.4 kB | 2,973.0 kB | [list of files] |
| riscv64 | 8.20.0-1+b4 | 388.2 kB | 2,933.0 kB | [list of files] |
| s390x | 8.20.0-1+b4 | 386.3 kB | 3,005.0 kB | [list of files] |