[ Source: aac-tactics ]
Package: libcoq-aac-tactics (8.19.1-1 and others)
Links for libcoq-aac-tactics
Debian Resources:
Download Source Package aac-tactics:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
tattiche di Coq per ragionamenti modulo AC (teorie)
Questo plugin per Coq fornisce tattiche per riscrivere equazioni quantificate universalmente, operatori modulo associativi (ed eventualmente commutativi).
Questo pacchetto fornisce la libreria di supporto per Coq.
Other Packages Related to libcoq-aac-tactics
|
|
|
|
-
- dep: libcoq-core-ocaml-600x6 [s390x]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-fza52 [amd64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-pyj13 [i386]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ql1j4 [armhf]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-tvu74 [arm64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-tygf6 [riscv64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yj1f6 [ppc64el]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-stdlib-49fx0 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-f7md8 [riscv64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ixla1 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-l3dr3 [i386]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ob632 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-ubg70 [armhf]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-w0z25 [s390x]
- virtual package provided by libcoq-stdlib
-
- dep: libstdlib-ocaml-058x2 [ppc64el]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-dkl58 [i386]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-ep7y0 [amd64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-fyga0 [arm64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-rayz1 [armhf]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-vjut8 [riscv64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-vneg5 [s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libzarith-ocaml-avzf2 [s390x]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-wx6x8 [armhf, i386]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [not armhf, i386, s390x]
- virtual package provided by libzarith-ocaml
Download libcoq-aac-tactics
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 8.19.1-1+b1 | 388.8 kB | 2,997.0 kB | [list of files] |
| arm64 | 8.19.1-1+b1 | 397.2 kB | 3,117.0 kB | [list of files] |
| armhf | 8.19.1-1+b1 | 387.7 kB | 2,787.0 kB | [list of files] |
| i386 | 8.19.1-1+b1 | 382.0 kB | 2,875.0 kB | [list of files] |
| ppc64el | 8.19.1-1+b1 | 391.5 kB | 3,117.0 kB | [list of files] |
| riscv64 | 8.19.1-1+b1 | 390.8 kB | 3,021.0 kB | [list of files] |
| s390x | 8.19.1-1+b1 | 389.0 kB | 3,061.0 kB | [list of files] |