» Математика

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

Установка:

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

sudo apt update
sudo apt install coqide
Dzen
coqide — доказательство для логики более высокого порядка (интерфейс gtk)

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

Доказательство для логики более высокого порядка (интерфейс gtk)

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

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

  • coq

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

  • libc6

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

  • libgdk-pixbuf2.0-0

    Библиотека GDK Pixbuf

  • libglib2.0-0

    Библиотека GLib подпрограмм C

  • libgtk2.0-0

    Библиотека графического интерфейса пользователя GTK+

  • libgtksourceview2.0-0

    Общие библиотеки для виджета подсветки синтаксиса GTK+

  • libpango-1.0-0

    Макет и предоставление интернационализированного текста

  • libcoq-ocaml-5mpm3

  • libcoq-ocaml-6pjp3

  • libcoq-ocaml-8eoz7

  • libcoq-ocaml-ilak4

  • libcoq-ocaml-rs5t9

  • libcoq-ocaml-ywd98

  • ocaml-base-nox-4.05.0