[ Source: aac-tactics ]
Package: libaac-tactics-ocaml (8.15.0-1)
Links for libaac-tactics-ocaml
Trisquel Resources:
Download Source Package aac-tactics:
Maintainer:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Stéphane Glondu
External Resources:
- Homepage [github.com]
Similar packages:
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.
Other Packages Related to libaac-tactics-ocaml
|
|
|
-
- dep: libcoq-core-ocaml-aosg1 [amd64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-nf5u3 [ppc64el]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rt7d5 [arm64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zjlv3 [armhf]
- virtual package provided by libcoq-core-ocaml
-
- dep: libzarith-ocaml-4dps0 [not armhf]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf]
- virtual package provided by libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- virtual package provided by ocaml-base
-
- rec: libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Download libaac-tactics-ocaml
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 127.7 kB | 465 kB | [list of files] |
| arm64 | 146.6 kB | 525 kB | [list of files] |
| armhf | 128.2 kB | 367 kB | [list of files] |
| ppc64el | 134.3 kB | 601 kB | [list of files] |