все параметры
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Источник: coq  ]

Пакет: coq-theories (8.3.pl3+dfsg-1~bpo60+1) [backports]

Ссылки для coq-theories

Screenshot

Ресурсы Debian:

Исходный код coq:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

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

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

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

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

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка coq-theories

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 52 774,2 Кб191 128,0 Кб [список файлов]