[ bookworm ] [ trixie ] [ sid ]

[ ソース: coq-mtac2 ]

パッケージ: libcoq-mtac2 (1.4+8.19-2 など)

libcoq-mtac2 に関するリンク

Debian の資源:

coq-mtac2 ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

Mtac2 tactic language for Coq

This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.

Coq is a proof assistant for higher-order logic.

その他の libcoq-mtac2 関連パッケージ

依存

推奨

提案

enhances

dep: libcoq-stdlib-qzv05

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-unicoq-e4os8

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

libcoq-mtac2 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
s390x	1.4+8.19-2+b2	793.6 kB	5,210.0 kB	[ファイル一覧]