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

[ Източник:  ]

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

• dep: libcoq-ocaml-mdvi3

  Пакетът не е наличен

• dep: ocaml-base-nox-4.08.1

  Пакетът не е наличен

• rec: libaac-tactics-coq

  Пакетът не е наличен

• enh: coq

  proof assistant for higher-order logic (toplevel and compiler)

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

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
sparc64 (неофициална архитектура)	8.8.0+1.gbp069dc3b-1+b2	26,7 кБ	131,0 кБ	[списък на файловете]