Pakiet: proofgeneral (4.5-3)

Odnośniki dla proofgeneral

Śledzenie łatek systemu eLxr

Pobieranie pakietu źródłowego proofgeneral:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [proofgeneral.github.io]

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.)

Inne pakiety związane z proofgeneral

wymaga

poleca

sugeruje

enhances

dep: emacs

GNU Emacs editor (metapackage)
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]