パッケージ: 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: liblablgtk2-ocaml-ea813

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

• dep: ocaml-base-nox-4.11.1

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

• dep: proofgeneral (>= 4.3~pre130510)

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

prooftree のダウンロード

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

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
armel	0.13-2+b1	1,142.4 kB	4,784.0 kB	[ファイル一覧]