Установка:

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

sudo apt update
sudo apt install libaac-tactics-ocaml-dev

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

Coq тактика для аргументации по модулю AC (файлы devt)

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

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

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

  • camlp5-bskq5

  • camlp5-ps9p6

  • camlp5-wr926

  • libaac-tactics-ocaml-c0vr8

  • libaac-tactics-ocaml-hv7z9

  • libaac-tactics-ocaml-w6qs1

  • libcoq-ocaml-dev-5mpm3

  • libcoq-ocaml-dev-6pjp3

  • libcoq-ocaml-dev-8eoz7

  • libcoq-ocaml-dev-ilak4

  • libcoq-ocaml-dev-rs5t9

  • libcoq-ocaml-dev-ywd98

  • ocaml-nox-4.05.0