[ bullseye ]
[ bookworm ]
[ Pakiet źródłowy: prooftree ]
Pakiet: prooftree (0.13-2 i inne)
Odnośniki dla prooftree
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego prooftree:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [askra.de]
Podobne pakiety:
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.
Inne pakiety związane z prooftree
|
|
|
|
-
- dep: coq (>= 8.4)
- Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)
-
- dep: liblablgtk2-ocaml-ea813
- pakiet wirtualny udostępniany przez liblablgtk2-ocaml
-
- dep: ocaml-base-nox-4.11.1
- pakiet wirtualny udostępniany przez ocaml-base-nox
-
- dep: proofgeneral (>= 4.3~pre130510)
- Ogólny interfejs dla asystentów dowodzenia twierdzeń
Pobieranie prooftree
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| armel | 0.13-2+b1 | 1 142,4 KiB | 4 784,0 KiB | [lista plików] |