Description
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. libcoq-aac-tactics is a shared library providing reusable functionality to other programs on Linux. It is loaded at runtime through the dynamic linker and is typically installed as a dependency of applications that link against it.