wszystkie opcje
jessie  ] [  stretch  ] [  sid  ]
[ Pakiet źródłowy: proofgeneral  ]

Pakiet: proofgeneral (4.4.1~pre170114-1)

Odnośniki dla proofgeneral

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego proofgeneral:

Opiekun:

Zasoby zewnętrzne:

Podobne pakiety:

generic frontend for proof assistants

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.

This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)

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 589,1 KiB2 036,0 KiB [lista plików]