всички настройки
jessie  ] [  stretch  ] [  sid  ]
[ Източник: aac-tactics  ]

Пакет: libaac-tactics-coq (0.4-3)

Връзки за libaac-tactics-coq

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник aac-tactics.

Отговорници:

Външни препратки:

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

Coq tactics for reasoning modulo AC (theories)

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

This package provides the Coq support library.

Други пакети, свързани с libaac-tactics-coq

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на libaac-tactics-coq

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
all 208,8 кБ1 413,0 кБ [списък на файловете]