[ Источник: coq-doc ]
Пакет: coq-doc (8.16.1-1) [non-free]
Ссылки для coq-doc
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код coq-doc:
Сопровождающие:
- Debian OCaml Maintainers (Страница КК, Почтовый архив)
- Samuel Mimram (Страница КК)
- Stéphane Glondu (Страница КК)
- Hendrik Tews (Страница КК)
- Julien Puydt (Страница КК)
Внешние ресурсы:
- Сайт [coq.inria.fr]
Подобные пакеты:
- linux-image-6.1.0-29-rt-686-pae
- linux-image-6.1.0-26-rt-686-pae
- libc6-mipsn32
- linux-headers-6.1.0-23-octeon
- linux-headers-6.1.0-28-octeon
- linux-image-6.1.0-21-loongson-3-dbg
- linux-image-6.1.0-30-marvell
- librust-ruma-state-res-dev
- linux-image-5.10.0-30-octeon-dbg
- linux-image-5.10.0-32-octeon-dbg
- libxsmm-dev
documentation for Coq
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
This is a dummy package which will install the documentation in html and pdf formats.
Другие пакеты, относящиеся к coq-doc
|
|
|
|
-
- dep: coq-doc-html (>= 8.16.1-1)
- documentation for Coq in html format
-
- dep: coq-doc-pdf (>= 8.16.1-1)
- documentation for Coq in pdf format
Загрузка coq-doc
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| all | 4,8 Кб | 20,0 Кб | [список файлов] |