Установка:

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

sudo apt update
sudo apt install coq-theories
coq-theories — доказательство для логики высших порядков (теорий)

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

Доказательство для логики высших порядков (теорий)

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

  • libc6

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

  • coq-8.6+4.05.0