Пакет: libaac-tactics-ocaml-dev (8.8.0+1.gbp069dc3b-1 и другие) [debports]

[ Источник:  ]

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

• dep: camlp5-tlv43

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

• dep: libaac-tactics-ocaml-c3pm7

  виртуальный пакет, предоставляемый libaac-tactics-ocaml

• dep: libcoq-ocaml-dev-tvkp6

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

• dep: ocaml-nox-4.05.0

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

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

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	8.8.0+1.gbp069dc3b-1+b2	37,3 Кб	394,0 Кб	[список файлов]