[ bullseye ]
[ bookworm ]
[ Source: prooftree ]
Пакунок: prooftree (0.13-2 and others)
Links for prooftree
Debian Resources:
Download Source Package prooftree:
Maintainers:
External Resources:
- Homepage [askra.de]
Similar packages:
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: liblablgtk2-ocaml-ea813
- virtual package provided by liblablgtk2-ocaml
-
- dep: ocaml-base-nox-4.11.1
- virtual package provided by ocaml-base-nox
-
- dep: proofgeneral (>= 4.3~pre130510)
- generic frontend for proof assistants
Завантажити prooftree
| Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|---|
| armel | 0.13-2+b1 | 1,142.4 kB | 4,784.0 kB | [список файлів] |