[ Quellcode: aac-tactics ]
Paket: libcoq-aac-tactics (8.20.0-1 und andere)
Links für libcoq-aac-tactics
Debian-Ressourcen:
Quellcode-Paket aac-tactics herunterladen:
Betreuer:
- Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
- Stéphane Glondu (QS-Seite)
- Julien Puydt (QS-Seite)
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu libcoq-aac-tactics
|
|
|
|
-
- dep: libcoq-core-ocaml-29kh7 [amd64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cm0q5 [s390x]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-d2hd1 [loong64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-n64h2 [ppc64el]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rho03 [riscv64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ub9d2 [arm64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yi844 [ppc64]
- virtuelles Paket, bereitgestellt durch libcoq-core-ocaml
-
- dep: libcoq-stdlib-1ns11 [arm64]
- virtuelles Paket, bereitgestellt durch libcoq-stdlib
-
- dep: libcoq-stdlib-68yx1 [amd64]
- virtuelles Paket, bereitgestellt durch libcoq-stdlib
-
- dep: libcoq-stdlib-8jeh0 [s390x]
- virtuelles Paket, bereitgestellt durch libcoq-stdlib
-
- dep: libcoq-stdlib-mz9g4 [loong64]
- virtuelles Paket, bereitgestellt durch libcoq-stdlib
-
- dep: libcoq-stdlib-q0rh7 [ppc64el]
- virtuelles Paket, bereitgestellt durch libcoq-stdlib
-
- dep: libcoq-stdlib-twvz5 [ppc64]
- virtuelles Paket, bereitgestellt durch libcoq-stdlib
-
- dep: libcoq-stdlib-wthf1 [riscv64]
- virtuelles Paket, bereitgestellt durch libcoq-stdlib
-
- dep: libstdlib-ocaml-2d5j3 [s390x]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml
-
- dep: libstdlib-ocaml-gats1 [ppc64]
- Paket nicht verfügbar
-
- dep: libstdlib-ocaml-m4xw9 [nicht loong64, ppc64, s390x]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml
-
- dep: libstdlib-ocaml-vyp69 [loong64]
- Paket nicht verfügbar
-
- dep: libzarith-ocaml-2ofb9 [s390x]
- virtuelles Paket, bereitgestellt durch libzarith-ocaml
-
- dep: libzarith-ocaml-avzf2 [ppc64]
- Paket nicht verfügbar
-
- dep: libzarith-ocaml-h79v1 [nicht loong64, ppc64, s390x]
- virtuelles Paket, bereitgestellt durch libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [loong64]
- Paket nicht verfügbar
libcoq-aac-tactics herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| amd64 | 8.20.0-1+b4 | 385,3 kB | 2.885,0 kB | [Liste der Dateien] |
| arm64 | 8.20.0-1+b4 | 391,2 kB | 3.101,0 kB | [Liste der Dateien] |
| loong64 (inoffizielle Portierung) | 8.19.1-2 | 395,7 kB | 3.084,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 8.19.1-2 | 393,2 kB | 3.244,0 kB | [Liste der Dateien] |
| ppc64el | 8.20.0-1+b4 | 385,4 kB | 2.973,0 kB | [Liste der Dateien] |
| riscv64 | 8.20.0-1+b4 | 388,2 kB | 2.933,0 kB | [Liste der Dateien] |
| s390x | 8.20.0-1+b4 | 386,3 kB | 3.005,0 kB | [Liste der Dateien] |