wszystkie opcje
bullseye  ] [  bookworm  ] [  sid  ]
[ Pakiet źródłowy: proofgeneral  ]

Pakiet: proofgeneral (4.4.1~pre170114-1.2)

Odnośniki dla proofgeneral

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego proofgeneral:

Opiekun:

Zasoby zewnętrzne:

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

Pobieranie proofgeneral

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