Установка:

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

sudo apt update
sudo apt install libaac-tactics-ocaml
libaac-tactics-ocaml — Coq тактика для рассуждения по модулю AC (плагин)

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

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

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

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

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

  • libc6

    Библиотека GNU C: общие библиотеки

  • libcoq-ocaml-5mpm3

  • libcoq-ocaml-6pjp3

  • libcoq-ocaml-8eoz7

  • libcoq-ocaml-ilak4

  • libcoq-ocaml-rs5t9

  • libcoq-ocaml-ywd98

  • ocaml-base-nox-4.05.0