パッケージ: prooftree (0.13-2 など)

prooftree に関するリンク

Debian の資源:

prooftree ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [askra.de]

類似のパッケージ:

proof-tree visualization for Proof General

Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq.

タグ: インタフェースツールキット: GTK

その他の prooftree 関連パッケージ

依存

推奨

提案

enhances

dep: coq (>= 8.4)

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

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

GDK Pixbuf ライブラリ
dep: libglib2.0-0 (>= 2.35.9)

C ルーチンの GLib ライブラリ
dep: libgtk2.0-0 (>= 2.24.0)

GTK graphical user interface library - old version
dep: libpango-1.0-0 (>= 1.22.0)

国際化されたテキストのレイアウトと描画
dep: proofgeneral (>= 4.3~pre130510)

証明アシスタント用の汎用フロントエンド

prooftree のダウンロード

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