[ ソース: prooftree ]
パッケージ: prooftree (0.13-2build4)
prooftree に関するリンク
Trisquel の資源:
prooftree ソースパッケージをダウンロード:
メンテナ:
Original Maintainers:
- Debian OCaml Maintainers (メールアーカイブ)
- Hendrik Tews
外部の資源:
- ホームページ [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.
その他の prooftree 関連パッケージ
|
|
|
-
- dep: coq (>= 8.4)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.35.9)
- GLib library of C routines
-
- dep: libgtk2.0-0 (>= 2.24.0)
- GTK graphical user interface library - old version
-
- dep: libpango-1.0-0 (>= 1.22.0)
- Layout and rendering of internationalized text
-
- dep: proofgeneral (>= 4.3~pre130510)
- generic frontend for proof assistants