Установка:

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

sudo apt updatesudo apt install libcoq-ocaml

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

библиотеки времени выполнения для Coq

Coq — это помощник доказательства для логики высшего порядка, который позволяет разрабатывать компьютерные программы в соответствии с их формальной спецификацией. Он разработан с использованием Objective Caml и Camlp5.

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

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

  • libc6

  • liblablgtk2-ocaml-e0615

  • liblablgtk2-ocaml-e53h4

  • liblablgtk2-ocaml-il3k6

  • liblablgtksourceview2-ocaml-3yfn9

  • liblablgtksourceview2-ocaml-l26k1

  • liblablgtksourceview2-ocaml-rynx6

  • ocaml-base-nox-4.05.0