[ Bron: aac-tactics ]
Pakket: libcoq-aac-tactics (8.18.0-1)
Verwijzigingen voor libcoq-aac-tactics
Debian bronnen:
Het bronpakket aac-tactics downloaden:
Beheerders:
- Debian OCaml Maintainers (QA-pagina, Mailarchief)
- Stéphane Glondu (QA-pagina)
- Julien Puydt (QA-pagina)
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
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 aan libcoq-aac-tactics gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-core-ocaml-fg9y1 [amd64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-jwuq2 [i386]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-lsl44 [s390x]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ru4g2 [armhf]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-t2nr4 [arm64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zchk9 [ppc64el]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-stdlib-4ny94 [armhf]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-6gs52 [amd64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-77cs8 [arm64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-b6j36 [ppc64el]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-onxh8 [i386]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-xmpq7 [s390x]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libstdlib-ocaml-058x2 [ppc64el]
- virtueel pakket geboden door libstdlib-ocaml
-
- dep: libstdlib-ocaml-dkl58 [i386]
- virtueel pakket geboden door libstdlib-ocaml
-
- dep: libstdlib-ocaml-ep7y0 [amd64]
- virtueel pakket geboden door libstdlib-ocaml
-
- dep: libstdlib-ocaml-fyga0 [arm64]
- virtueel pakket geboden door libstdlib-ocaml
-
- dep: libstdlib-ocaml-rayz1 [armhf]
- virtueel pakket geboden door libstdlib-ocaml
-
- dep: libstdlib-ocaml-vneg5 [s390x]
- virtueel pakket geboden door libstdlib-ocaml
-
- dep: libzarith-ocaml-avzf2 [s390x]
- virtueel pakket geboden door libzarith-ocaml
-
- dep: libzarith-ocaml-wx6x8 [armhf, i386]
- virtueel pakket geboden door libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [amd64, arm64, ppc64el]
- virtueel pakket geboden door libzarith-ocaml
libcoq-aac-tactics downloaden
| Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|
| amd64 | 375,0 kB | 2.928,0 kB | [overzicht] |
| arm64 | 382,8 kB | 3.048,0 kB | [overzicht] |
| armhf | 373,0 kB | 2.712,0 kB | [overzicht] |
| i386 | 366,8 kB | 2.808,0 kB | [overzicht] |
| ppc64el | 377,0 kB | 3.048,0 kB | [overzicht] |
| s390x | 376,0 kB | 3.000,0 kB | [overzicht] |