[ Källkod: aac-tactics ]
Paket: libcoq-aac-tactics (8.20.0-1 och andra)
Länkar för libcoq-aac-tactics
Debianresurser:
Hämta källkodspaketet aac-tactics:
Ansvariga:
Externa resurser:
- Hemsida [github.com]
Liknande paket:
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.
Andra paket besläktade med libcoq-aac-tactics
|
|
|
|
-
- dep: libcoq-core-ocaml-29kh7 [amd64]
- virtuellt paket som tillhandahålls av libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cm0q5 [s390x]
- virtuellt paket som tillhandahålls av libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-d2hd1 [loong64]
- virtuellt paket som tillhandahålls av libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-n64h2 [ppc64el]
- virtuellt paket som tillhandahålls av libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rho03 [riscv64]
- virtuellt paket som tillhandahålls av libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ub9d2 [arm64]
- virtuellt paket som tillhandahålls av libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yi844 [ppc64]
- virtuellt paket som tillhandahålls av libcoq-core-ocaml
-
- dep: libcoq-stdlib-1ns11 [arm64]
- virtuellt paket som tillhandahålls av libcoq-stdlib
-
- dep: libcoq-stdlib-68yx1 [amd64]
- virtuellt paket som tillhandahålls av libcoq-stdlib
-
- dep: libcoq-stdlib-8jeh0 [s390x]
- virtuellt paket som tillhandahålls av libcoq-stdlib
-
- dep: libcoq-stdlib-mz9g4 [loong64]
- virtuellt paket som tillhandahålls av libcoq-stdlib
-
- dep: libcoq-stdlib-q0rh7 [ppc64el]
- virtuellt paket som tillhandahålls av libcoq-stdlib
-
- dep: libcoq-stdlib-twvz5 [ppc64]
- virtuellt paket som tillhandahålls av libcoq-stdlib
-
- dep: libcoq-stdlib-wthf1 [riscv64]
- virtuellt paket som tillhandahålls av libcoq-stdlib
-
- dep: libstdlib-ocaml-2d5j3 [s390x]
- virtuellt paket som tillhandahålls av libstdlib-ocaml
-
- dep: libstdlib-ocaml-gats1 [ppc64]
- Paketet inte tillgängligt
-
- dep: libstdlib-ocaml-m4xw9 [ej loong64, ppc64, s390x]
- virtuellt paket som tillhandahålls av libstdlib-ocaml
-
- dep: libstdlib-ocaml-vyp69 [loong64]
- Paketet inte tillgängligt
-
- dep: libzarith-ocaml-2ofb9 [s390x]
- virtuellt paket som tillhandahålls av libzarith-ocaml
-
- dep: libzarith-ocaml-avzf2 [ppc64]
- Paketet inte tillgängligt
-
- dep: libzarith-ocaml-h79v1 [ej loong64, ppc64, s390x]
- virtuellt paket som tillhandahålls av libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [loong64]
- Paketet inte tillgängligt
Hämta libcoq-aac-tactics
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| amd64 | 8.20.0-1+b4 | 385,3 kbyte | 2.885,0 kbyte | [filförteckning] |
| arm64 | 8.20.0-1+b4 | 391,2 kbyte | 3.101,0 kbyte | [filförteckning] |
| loong64 (inofficiell anpassning) | 8.19.1-2 | 395,7 kbyte | 3.084,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 8.19.1-2 | 393,2 kbyte | 3.244,0 kbyte | [filförteckning] |
| ppc64el | 8.20.0-1+b4 | 385,4 kbyte | 2.973,0 kbyte | [filförteckning] |
| riscv64 | 8.20.0-1+b4 | 388,2 kbyte | 2.933,0 kbyte | [filförteckning] |
| s390x | 8.20.0-1+b4 | 386,3 kbyte | 3.005,0 kbyte | [filförteckning] |