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