Установка:

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

sudo apt update
sudo apt install libaac-tactics-ocaml-dev
libaac-tactics-ocaml-dev — Coq тактика для аргументации по модулю AC (файлы devt)

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

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

  • Зависимости:

  • 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