[ Source: aac-tactics ]
Package: libcoq-aac-tactics (8.17.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 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.
Other Packages Related to libcoq-aac-tactics
|
|
|
|
-
- dep: libcoq-core-ocaml-4ew58 [armhf]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-7k9u9 [s390x]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cpf60 [amd64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cqbo5 [ppc64el]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cspq5 [i386]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-wc485 [arm64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-stdlib-bj4w1 [i386]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ctiy2 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ewsr6 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ig513 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ntv04 [s390x]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-u2uh4 [armhf]
- virtual package provided by libcoq-stdlib
-
- dep: libzarith-ocaml-4dps0 [amd64, arm64, ppc64el]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf, i386]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-vtl52 [s390x]
- virtual package provided by libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- virtual package provided by ocaml-base
Download libcoq-aac-tactics
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 8.17.0-1+b2 | 380.8 kB | 3,014.0 kB | [list of files] |
| arm64 | 8.17.0-1+b2 | 388.5 kB | 3,134.0 kB | [list of files] |
| armhf | 8.17.0-1+b2 | 379.5 kB | 2,801.0 kB | [list of files] |
| i386 | 8.17.0-1+b2 | 372.7 kB | 2,895.0 kB | [list of files] |
| ppc64el | 8.17.0-1+b2 | 383.8 kB | 3,134.0 kB | [list of files] |
| s390x | 8.17.0-1+b2 | 382.2 kB | 3,094.0 kB | [list of files] |