Install libaac-tactics-ocaml by entering the following commands in the terminal:
sudo apt update sudo apt install libaac-tactics-ocaml
Description:
Coq tactics for reasoning modulo AC (plugin)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the plugin itself.
Homepage: https://github.com/coq-contribs/aac-tactics
Version: 8.6.1-2
Section: universe/ocaml