Установка coq-theories в Ubuntu / Linux Mint / Debian

Установка:

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

sudo apt update

sudo apt install coq-theories

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

http://coq.inria.fr/

Июль 2018 Источник: packages.ubuntu.com