Пакет: coqide (8.12.0-3 и другие) [debports]

[ Источник:  ]

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

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

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

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

• dep: coq (= 8.12.0-3+b3)

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

Загрузка coqide

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
x32 (неофициальный перенос)	8.12.0-3+b3	45,6 Кб	111,0 Кб	[список файлов]