Пакет: coq-theories (8.9.0-1)

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

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

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

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

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

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

• dep: coq-8.9.0+4.05.0

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

• rec: coq (>= 8.0)

  proof assistant for higher-order logic (toplevel and compiler)

Загрузка coq-theories

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

Архитектура	Размер пакета	В установленном виде	Файлы
arm64	19 890,3 Кб	130 479,0 Кб	[список файлов]