Установка:
Для установки why3-coq в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Поддержка Coq для платформы проверки Why3
-
Зависимости:
-
Доказательство для логики более высокого порядка (toplevel и компилятор)
-
Библиотека GNU C: общие библиотеки
-
Общая инфраструктура для строительства и установки TeX
-
Библиотека сжатия - время выполнения
-
libcoq-ocaml-5mpm3
-
libcoq-ocaml-6pjp3
-
libcoq-ocaml-8eoz7
-
libcoq-ocaml-ilak4
-
libcoq-ocaml-rs5t9
-
libcoq-ocaml-ywd98
-
libzip-ocaml-5t4j6
-
libzip-ocaml-gyew6
-
libzip-ocaml-moa44
-
ocaml-base-nox-4.05.0