Package: libaac-tactics-ocaml-dev (0.4-3)
Links for libaac-tactics-ocaml-dev
Download Source Package aac-tactics:
- Homepage [sardes.inrialpes.fr]
Coq tactics for reasoning modulo AC (devt files)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the static native-code library, needed to build custom toplevels, and the compiled interfaces.
Other Packages Related to libaac-tactics-ocaml-dev