Пакет: libcoq-stdlib (8.18.0+dfsg-1)

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

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

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

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

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

• rec: coq

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

Загрузка libcoq-stdlib

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

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	22 693,1 Кб	156 418,0 Кб	[список файлов]
arm64	22 697,1 Кб	156 418,0 Кб	[список файлов]
armhf	22 689,8 Кб	156 369,0 Кб	[список файлов]
i386	22 690,2 Кб	156 369,0 Кб	[список файлов]
ppc64el	22 692,8 Кб	156 418,0 Кб	[список файлов]
s390x	22 689,6 Кб	156 418,0 Кб	[список файлов]