Пакет: coq-theories (8.12.0-3 и другие)

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

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

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

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

Теги: Разработка программного обеспечения: Библиотеки, Область: Математика, Роль: Данные приложения

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

• dep: coq-8.12.0+4.11.1

  виртуальный пакет, предоставляемый coq

• rec: coq (>= 8.0)

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

Загрузка coq-theories

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	8.12.0-3+b3	35 646,3 Кб	280 422,0 Кб	[список файлов]
arm64	8.12.0-3+b3	23 365,1 Кб	166 283,0 Кб	[список файлов]
armel	8.12.0-3+b3	23 353,0 Кб	166 204,0 Кб	[список файлов]
armhf	8.12.0-3+b3	23 358,1 Кб	166 196,0 Кб	[список файлов]
i386	8.12.0-3+b3	34 411,8 Кб	259 191,0 Кб	[список файлов]
mips64el	8.12.0-3+b3	23 361,8 Кб	166 287,0 Кб	[список файлов]
mipsel	8.12.0-3+b3	23 354,3 Кб	166 204,0 Кб	[список файлов]
ppc64el	8.12.0-3+b3	23 359,8 Кб	166 283,0 Кб	[список файлов]