Pakiet: proofgeneral (4.5-2)

[ Pakiet źródłowy: proofgeneral  ]

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

• 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,3 KiB	2 140,0 KiB	[lista plików]