Package: libaac-tactics-coq (8.11.0-1)
Links for libaac-tactics-coq
Download Source Package aac-tactics:
- Debian OCaml Maintainers (Mail Archive)
- Stéphane Glondu
- Homepage [github.com]
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