[ bullseye ]
[ bookworm ]
[ ソース: prooftree ]
パッケージ: prooftree (0.13-2 など)
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.
その他の prooftree 関連パッケージ
|
|
|
|
-
- dep: coq (>= 8.4)
- 高階論理証明アシスタント (トップレベルおよびコンパイラ)
-
- dep: libc6 (>= 2.29) [armel, mips64el, mipsel 以外]
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [armel, mips64el, mipsel 以外]
- GDK Pixbuf ライブラリ (移行用パッケージ)
-
- dep: libglib2.0-0 (>= 2.35.9) [armel, mips64el, mipsel 以外]
- C ルーチンの GLib ライブラリ
-
- dep: libgtk2.0-0 (>= 2.24.32) [armel, mips64el, mipsel 以外]
- GTK graphical user interface library - old version
-
- dep: liblablgtk2-ocaml-ea813 [armel, mips64el, mipsel]
- 以下のパッケージによって提供される仮想パッケージです: liblablgtk2-ocaml
-
- dep: libpango-1.0-0 (>= 1.22.0) [armel, mips64el, mipsel 以外]
- 国際化されたテキストのレイアウトと描画
-
- dep: ocaml-base-nox-4.11.1 [armel, mips64el, mipsel]
- 以下のパッケージによって提供される仮想パッケージです: ocaml-base-nox
-
- dep: proofgeneral (>= 4.3~pre130510)
- 証明アシスタント用の汎用フロントエンド
prooftree のダウンロード
アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
---|---|---|---|---|
amd64 | 0.13-2+b1 | 1,060.9 kB | 4,973.0 kB | [ファイル一覧] |
arm64 | 0.13-2+b1 | 1,253.3 kB | 5,875.0 kB | [ファイル一覧] |
armel | 0.13-2+b1 | 1,142.4 kB | 4,784.0 kB | [ファイル一覧] |
armhf | 0.13-2+b1 | 1,008.5 kB | 3,441.0 kB | [ファイル一覧] |
i386 | 0.13-2+b1 | 1,002.0 kB | 4,201.0 kB | [ファイル一覧] |
mips64el | 0.13-2+b1 | 1,141.8 kB | 4,784.0 kB | [ファイル一覧] |
mipsel | 0.13-2+b1 | 1,142.7 kB | 4,784.0 kB | [ファイル一覧] |
ppc64el | 0.13-2+b1 | 1,129.0 kB | 5,507.0 kB | [ファイル一覧] |