[ Source: aac-tactics ]
Package: libaac-tactics-ocaml (0.2.pl2-7)
Links for libaac-tactics-ocaml
Debian Resources:
Download Source Package aac-tactics:
Maintainers:
External Resources:
- Homepage [sardes.inrialpes.fr]
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: libc0.1 (>= 2.3)
- Sulautettu GNU C -kirjasto: jaetut kirjastot
also a virtual package provided by libc0.1-udeb
-
- dep: libcoq-ocaml-j25h3
- virtual package provided by libcoq-ocaml
-
- dep: ocaml-base-nox-3.12.1
- virtual package provided by ocaml-base-nox
-
- rec: libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
Download libaac-tactics-ocaml
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| kfreebsd-amd64 | 141.4 kB | 516.0 kB | [list of files] |