Пакет: why3-coq (1.3.3-3) [debports]

Ссылки для why3-coq

Ресурсы Debian:

Сообщения об ошибках

Исходный код :

Не найден

Сопровождающие:

Внешние ресурсы:

Сайт [why3.lri.fr]

Подобные пакеты:

Coq support for the why3 verification platform

This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.

Другие пакеты, относящиеся к why3-coq

зависимости

рекомендации

предложения

enhances

dep: coq-8.12.0+4.11.1

виртуальный пакет, предоставляемый coq
dep: tex-common (>= 6.13)

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

rec: why3

Software verification platform

Загрузка why3-coq

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
x32 (неофициальный перенос)	739,2 Кб	3 826,0 Кб	[список файлов]