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

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

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

Screenshot

Ресурси за Debian:

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

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

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

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

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

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

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 125,3 кБ673,0 кБ [списък на файловете]
armel 120,2 кБ551,0 кБ [списък на файловете]
armhf 121,9 кБ505,0 кБ [списък на файловете]
i386 114,9 кБ533,0 кБ [списък на файловете]