パッケージ: libaac-tactics-ocaml (8.11.0-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 [sparc64]

  パッケージは利用できません

• dep: libcoq-ocaml-p2447 [sh4]

  パッケージは利用できません

• dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]

  パッケージは利用できません

• dep: libcoq-ocaml-tvkp6 [alpha]

  パッケージは利用できません

• dep: ocaml-base-nox-4.05.0 [alpha]

  パッケージは利用できません

• dep: ocaml-base-nox-4.08.1 [alpha 以外]

  パッケージは利用できません

• rec: libaac-tactics-coq

  パッケージは利用できません

• enh: coq

  高階論理証明アシスタント (トップレベルおよびコンパイラ)

libaac-tactics-ocaml のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
alpha (非公式の移植版)	8.8.0+1.gbp069dc3b-1+b2	27.0 kB	135.0 kB	[ファイル一覧]
hppa (非公式の移植版)	8.9.0-1+b1	26.7 kB	130.0 kB	[ファイル一覧]
ia64 (非公式の移植版)	8.9.0-1+b1	26.7 kB	130.0 kB	[ファイル一覧]
sh4 (非公式の移植版)	8.11.0-1+b2	25.3 kB	115.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	8.8.0+1.gbp069dc3b-1+b2	26.7 kB	131.0 kB	[ファイル一覧]
x32 (非公式の移植版)	8.9.0-1+b1	26.7 kB	130.0 kB	[ファイル一覧]