[ Источник: why3 ]
Пакет: why3-coq (1.2.0-1)
Ссылки для why3-coq
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код why3:
Сопровождающие:
Внешние ресурсы:
- Сайт [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
|
|
|
|
-
- dep: coq-8.9.0+4.05.0
- виртуальный пакет, предоставляемый coq
-
- dep: tex-common (>= 6)
- инфраструктура для сборки и установки TeX
-
- rec: why3
- Software verification platform
Загрузка why3-coq
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| amd64 | 582,8 Кб | 2 714,0 Кб | [список файлов] |
| arm64 | 582,3 Кб | 2 714,0 Кб | [список файлов] |
| armhf | 587,9 Кб | 2 720,0 Кб | [список файлов] |
| i386 | 587,8 Кб | 2 720,0 Кб | [список файлов] |