[ Источник: coq ]
Пакет: coq-theories (8.9.0-1)
Ссылки для coq-theories
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код coq:
Сопровождающие:
- Debian OCaml Maintainers (Страница КК, Почтовый архив)
- Benjamin Barenblat (Страница КК)
- Ralf Treinen (Страница КК)
- Samuel Mimram (Страница КК)
- Stéphane Glondu (Страница КК)
- Enrico Tassi (Страница КК)
Внешние ресурсы:
- Сайт [coq.inria.fr]
Подобные пакеты:
интерактивное программное средство доказательства теорем логики высшего порядка (теории)
Coq — интерактивное программное средство доказательства теорем логики высшего порядка, которое позволяет разрабатывать компьютерные программы в соответствии с их формальной спецификацией. Оно создано с использованием Objective Caml и Camlp5.
Пакет предоставляет существующие теории, на которых могут основываться новые доказательства, включая теории арифметики и булевых значений.
Другие пакеты, относящиеся к coq-theories
|
|
|
|
-
- dep: coq-8.9.0+4.05.0
- виртуальный пакет, предоставляемый coq
-
- dep: libc6 (>= 2.1.3) [i386]
- библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- rec: coq (>= 8.0)
- proof assistant for higher-order logic (toplevel and compiler)
Загрузка coq-theories
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| amd64 | 29 040,7 Кб | 216 590,0 Кб | [список файлов] |
| arm64 | 19 890,3 Кб | 130 479,0 Кб | [список файлов] |
| armhf | 19 874,8 Кб | 130 396,0 Кб | [список файлов] |
| i386 | 27 749,0 Кб | 196 706,0 Кб | [список файлов] |