Pakiet: proofgeneral (4.4.1~pre170114-1.2)

Odnośniki dla proofgeneral

Zasoby systemu Debian:

Pobieranie pakietu źródłowego proofgeneral:

Opiekun:

Hendrik Tews (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [proofgeneral.github.io]

Podobne pakiety:

Ogólny interfejs dla asystentów dowodzenia twierdzeń

Proof General jest głównym trybem przekształcania Emacsa w interaktywny system dowodzenia twierdzeń, który służy do pisania formalnych dowodów matematycznych przy użyciu różnych narzędzi asystujących użytkownikowi przy przeprowadzaniu dowodu.

Ten pakiet zapewnia wsparcie Proof General dla Coq (brak innego systemu dowodzenia twierdzeń, który mógłby zapewniać odpowiednie wsparcie).

Znaczniki: Dziedzina: Matematyka, Zaimplementowane w: Lisp, Interfejs użytkownika: interface::graphical, interface::text-mode, X Window System, Rola: Wtyczka, role::program, suite::emacs, Przeznaczenie: Edytowanie, X Window System: Aplikacja

Inne pakiety związane z proofgeneral

wymaga

poleca

sugeruje

enhances

dep: emacs-gtk

GNU Emacs editor (with GTK+ GUI support)
dep: mmm-mode

Multiple Major Mode for Emacs

sug: proofgeneral-doc

generic frontend for proof assistants - documentation
sug: prooftree

proof-tree visualization for Proof General

Pobieranie proofgeneral

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	588,9 KiB	2 036,0 KiB	[lista plików]