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

[ ソース: prooftree  ]

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 関連パッケージ

• 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 のダウンロード

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

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	0.13-2+b2	1,058.7 kB	4,973.0 kB	[ファイル一覧]
arm64	0.13-2+b2	1,254.6 kB	5,875.0 kB	[ファイル一覧]
armhf	0.13-2+b2	1,008.1 kB	3,441.0 kB	[ファイル一覧]
i386	0.13-2+b2	1,002.8 kB	4,201.0 kB	[ファイル一覧]
ppc64el	0.13-2+b2	1,126.4 kB	5,507.0 kB	[ファイル一覧]
s390x	0.13-2	1,093.3 kB	5,591.0 kB	[ファイル一覧]