Package: libaac-tactics-coq (8.6.1-2)
Links for libaac-tactics-coq
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 (theories)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the Coq support library.
Other Packages Related to libaac-tactics-coq
|
|
|
-
- dep: coq-8.6+4.05.0
- virtual package provided by coq
-
- dep: libaac-tactics-ocaml (>= 8.6.1-2)
- Coq tactics for reasoning modulo AC (plugin)
Download libaac-tactics-coq
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 215.6 kB | 1525 kB | [list of files] |