Пакет: libcoq-stdlib (8.19.1+dfsg-3 и другие)

[ Источник: coq  ]

интерактивное программное средство доказательства теорем логики высшего порядка (теории)

Coq — интерактивное программное средство доказательства теорем логики высшего порядка, которое позволяет разрабатывать компьютерные программы в соответствии с их формальной спецификацией. Оно создано с использованием Objective Caml и Camlp5.

Пакет предоставляет существующие теории, на которых могут основываться новые доказательства, включая теории арифметики и булевых значений.

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

• rec: coq

  интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)

Загрузка libcoq-stdlib

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	8.19.1+dfsg-3+b2	23 103,4 Кб	154 540,0 Кб	[список файлов]
arm64	8.19.1+dfsg-3+b2	23 101,8 Кб	154 540,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	8.19.1+dfsg-3	23 105,4 Кб	154 537,0 Кб	[список файлов]
ppc64el	8.19.1+dfsg-3+b3	23 104,2 Кб	154 540,0 Кб	[список файлов]
riscv64	8.19.1+dfsg-3+b2	23 100,1 Кб	154 540,0 Кб	[список файлов]
s390x	8.19.1+dfsg-3+b2	23 100,3 Кб	154 540,0 Кб	[список файлов]