[ Source: aac-tactics ]
Paketti: libaac-tactics-ocaml (8.15.0-1)
Links for libaac-tactics-ocaml
Trisquel-palvelut:
Imuroi lähdekoodipaketti aac-tactics:
Ylläpitäjä:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Stéphane Glondu
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
Coq tactics for reasoning modulo AC (plugin)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the plugin itself.
Muut pakettiin libaac-tactics-ocaml liittyvät paketit
|
|
|
-
- dep: libcoq-core-ocaml-aosg1 [amd64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-nf5u3 [ppc64el]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rt7d5 [arm64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zjlv3 [armhf]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libzarith-ocaml-4dps0 [ei armhf]
- näennäispaketti, jonka toteuttaa libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf]
- näennäispaketti, jonka toteuttaa libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- näennäispaketti, jonka toteuttaa ocaml-base
-
- rec: libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Imuroi libaac-tactics-ocaml
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 127.7 kt | 465 kt | [tiedostoluettelo] |
| arm64 | 146.6 kt | 525 kt | [tiedostoluettelo] |
| armhf | 128.2 kt | 367 kt | [tiedostoluettelo] |
| ppc64el | 134.3 kt | 601 kt | [tiedostoluettelo] |