Установка:

Для установки libaac-tactics-ocaml в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install libaac-tactics-ocaml

Подробная информация о пакете:

Coq тактика для рассуждения по модулю AC (плагин)

Этот плагин Coq обеспечивает тактику для переписывания универсально квантифицированных уравнений, по модулю ассоциативных (и, возможно, коммутативных) операторов.

Этот пакет предоставляет сам плагин.

Список зависимостей:

  • libc6

  • libcoq-ocaml-5mpm3

  • libcoq-ocaml-6pjp3

  • libcoq-ocaml-8eoz7

  • libcoq-ocaml-ilak4

  • libcoq-ocaml-rs5t9

  • libcoq-ocaml-ywd98

  • ocaml-base-nox-4.05.0