[ Источник: coq ]
Пакет: libcoq-stdlib (8.19.1+dfsg-1 и другие)
Ссылки для libcoq-stdlib
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код coq:
Сопровождающие:
- Debian OCaml Maintainers (Страница КК, Почтовый архив)
- Benjamin Barenblat (Страница КК)
- Julien Puydt (Страница КК)
- Ralf Treinen (Страница КК)
- Stéphane Glondu (Страница КК)
Внешние ресурсы:
- Сайт [coq.inria.fr]
Подобные пакеты:
интерактивное программное средство доказательства теорем логики высшего порядка (теории)
Coq — интерактивное программное средство доказательства теорем логики высшего порядка, которое позволяет разрабатывать компьютерные программы в соответствии с их формальной спецификацией. Оно создано с использованием Objective Caml и Camlp5.
Пакет предоставляет существующие теории, на которых могут основываться новые доказательства, включая теории арифметики и булевых значений.
Другие пакеты, относящиеся к libcoq-stdlib
|
|
|
|
Загрузка libcoq-stdlib
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| amd64 | 8.19.1+dfsg-1 | 23 105,8 Кб | 154 537,0 Кб | [список файлов] |
| arm64 | 8.19.1+dfsg-1 | 23 101,0 Кб | 154 537,0 Кб | [список файлов] |
| armhf | 8.19.1+dfsg-1 | 23 104,2 Кб | 154 496,0 Кб | [список файлов] |
| i386 | 8.19.1+dfsg-1 | 23 098,6 Кб | 154 496,0 Кб | [список файлов] |
| ppc64 (неофициальный перенос) | 8.17.0+dfsg-1+b2 | 24 509,3 Кб | 172 774,0 Кб | [список файлов] |
| ppc64el | 8.19.1+dfsg-1 | 23 096,7 Кб | 154 537,0 Кб | [список файлов] |
| riscv64 | 8.19.1+dfsg-1 | 23 102,6 Кб | 154 537,0 Кб | [список файлов] |
| s390x | 8.19.1+dfsg-1 | 23 104,4 Кб | 154 537,0 Кб | [список файлов] |