[ sid ]

[ Источник: ]

Пакет: libaac-tactics-ocaml (8.11.0-1 и другие) [debports]

Ссылки для libaac-tactics-ocaml

Ресурсы Debian:

Сообщения об ошибках

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

Не найден

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

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

Сайт [github.com]

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

Coq tactics for reasoning modulo AC (plugin)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the plugin itself.

Другие пакеты, относящиеся к libaac-tactics-ocaml

зависимости

рекомендации

предложения

enhances

dep: libcoq-ocaml-mdvi3 [sparc64]

Пакет недоступен
dep: libcoq-ocaml-p2447 [sh4]

Пакет недоступен
dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]

Пакет недоступен
dep: libcoq-ocaml-tvkp6 [alpha]

Пакет недоступен
dep: ocaml-base-nox-4.05.0 [alpha]

Пакет недоступен
dep: ocaml-base-nox-4.08.1 [не alpha]

Пакет недоступен

rec: libaac-tactics-coq

Пакет недоступен

enh: coq

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

Загрузка libaac-tactics-ocaml

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	8.8.0+1.gbp069dc3b-1+b2	27,0 Кб	135,0 Кб	[список файлов]
hppa (неофициальный перенос)	8.9.0-1+b1	26,7 Кб	130,0 Кб	[список файлов]
ia64 (неофициальный перенос)	8.9.0-1+b1	26,7 Кб	130,0 Кб	[список файлов]
sh4 (неофициальный перенос)	8.11.0-1+b2	25,3 Кб	115,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	8.8.0+1.gbp069dc3b-1+b2	26,7 Кб	131,0 Кб	[список файлов]
x32 (неофициальный перенос)	8.9.0-1+b1	26,7 Кб	130,0 Кб	[список файлов]