[ 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-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-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] |