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

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

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

Screenshot

Ресурси за Debian:

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

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

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

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

Coq tactics for reasoning modulo AC (devt files)

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

This package provides the static native-code library, needed to build custom toplevels, and the compiled interfaces.

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

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

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

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 44,3 кБ447,0 кБ [списък на файловете]
armel 44,2 кБ447,0 кБ [списък на файловете]
armhf 44,3 кБ447,0 кБ [списък на файловете]
i386 43,9 кБ369,0 кБ [списък на файловете]