Установка:

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

sudo apt update
sudo apt install why3-coq
why3-coq — Поддержка Coq для платформы проверки Why3

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

Поддержка Coq для платформы проверки Why3

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

  • coq

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

  • libc6

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

  • tex-common

    Общая инфраструктура для строительства и установки TeX

  • zlib1g

    Библиотека сжатия - время выполнения

  • 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