» Математика

Как установить coq в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install coq
Dzen
coq — доказательство для логики более высокого порядка (toplevel и компилятор)

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

Доказательство для логики более высокого порядка (toplevel и компилятор)

http://coq.inria.fr/
, , ,
Источник: packages.ubuntu.com

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

  • coq-theories

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

  • emacsen-common

    Общие условия для всех emacsen

  • libc6

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

  • ocaml-findlib

    Инструмент управления для библиотек OCaml

  • libcoq-ocaml-5mpm3

  • libcoq-ocaml-6pjp3

  • libcoq-ocaml-8eoz7

  • libcoq-ocaml-ilak4

  • libcoq-ocaml-rs5t9

  • libcoq-ocaml-ywd98

  • ocaml-base-nox-4.05.0