[ Source: aac-tactics ]
Paketti: libcoq-aac-tactics (8.17.0-1 ja muut)
Links for libcoq-aac-tactics
Debian-palvelut:
Imuroi lähdekoodipaketti aac-tactics:
Ylläpitäjät:
- Debian OCaml Maintainers (Laadunvalvontasivu, Mail Archive)
- Stéphane Glondu (Laadunvalvontasivu)
- Julien Puydt (Laadunvalvontasivu)
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
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.
Muut pakettiin libcoq-aac-tactics liittyvät paketit
|
|
|
|
-
- dep: libcoq-core-ocaml-4ew58 [armhf]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-7k9u9 [s390x]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cpf60 [amd64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cqbo5 [ppc64el]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cspq5 [i386]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-wc485 [arm64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-stdlib-bj4w1 [i386]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-ctiy2 [arm64]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-ewsr6 [amd64]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-ig513 [ppc64el]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-ntv04 [s390x]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-u2uh4 [armhf]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libzarith-ocaml-4dps0 [amd64, arm64, ppc64el]
- näennäispaketti, jonka toteuttaa libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf, i386]
- näennäispaketti, jonka toteuttaa libzarith-ocaml
-
- dep: libzarith-ocaml-vtl52 [s390x]
- näennäispaketti, jonka toteuttaa libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- näennäispaketti, jonka toteuttaa ocaml-base
Imuroi libcoq-aac-tactics
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| amd64 | 8.17.0-1+b2 | 380.8 kt | 3,014.0 kt | [tiedostoluettelo] |
| arm64 | 8.17.0-1+b2 | 388.5 kt | 3,134.0 kt | [tiedostoluettelo] |
| armhf | 8.17.0-1+b2 | 379.5 kt | 2,801.0 kt | [tiedostoluettelo] |
| i386 | 8.17.0-1+b2 | 372.7 kt | 2,895.0 kt | [tiedostoluettelo] |
| ppc64el | 8.17.0-1+b2 | 383.8 kt | 3,134.0 kt | [tiedostoluettelo] |
| s390x | 8.17.0-1+b2 | 382.2 kt | 3,094.0 kt | [tiedostoluettelo] |