[  etiona  ] [  nabia  ] [  aramo  ]

[ ソース: aac-tactics  ]

libaac-tactics-coq に関するリンク

Trisquel の資源:

• Install using apturl
• Entry at directory.fsf.org
• バグ報告
• Changelog
• 著作権ファイル

aac-tactics ソースパッケージをダウンロード:

• [aac-tactics_8.6.1-2.dsc]
• [aac-tactics_8.6.1.orig.tar.gz]
• [aac-tactics_8.6.1-2.debian.tar.xz]

メンテナ:

• Debian OCaml Maintainers (メールアーカイブ)

Original Maintainers:

• Debian OCaml Maintainers (メールアーカイブ)
• Stéphane Glondu

外部の資源:

• ホームページ [github.com]

類似のパッケージ:

• libaac-tactics-ocaml-dev
• alt-ergo
• libcoq-elpi-ocaml
• libcoq-elpi-ocaml-dev
• libcoq-mathcomp-bigenough
• libcoq-mathcomp-solvable
• libssreflect-coq
• libcoq-mathcomp-ssreflect
• libfloat-coq
• libssreflect-ocaml
• libcoq-mathcomp-field

その他の libaac-tactics-coq 関連パッケージ

依存

推奨

提案

• dep: coq-8.6+4.05.0

  以下のパッケージによって提供される仮想パッケージです: coq

• dep: libaac-tactics-ocaml (>= 8.6.1-2)

  Coq tactics for reasoning modulo AC (plugin)

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

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

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
all	215.6 kB	1525 kB	[ファイル一覧]