Install libaac-tactics-ocaml-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libaac-tactics-ocaml-dev
Description:
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.
Homepage: https://github.com/coq-contribs/aac-tactics
Version: 8.6.1-2
Section: universe/ocaml