Pakiet: proofgeneral (4.5-3)

Odnośniki dla proofgeneral

Zasoby systemu Debian:

Pobieranie pakietu źródłowego proofgeneral:

Opiekunowie:

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

Edytor GNU Emacs (metapakiet)
również pakiet wirtualny udostępniany przez emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk

sug: proofgeneral-doc

generic frontend for proof assistants - documentation
sug: prooftree

Pakiet niedostępny

Pobieranie proofgeneral

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