Paket: proofgeneral (4.5-2)

Links für proofgeneral

Debian-Ressourcen:

Quellcode-Paket proofgeneral herunterladen:

Betreuer:

Debian Math Team (QS-Seite)
Julien Puydt (QS-Seite)

Externe Ressourcen:

Homepage [proofgeneral.github.io]

Generisches Frontend für Beweisassistenten

Der »Major Mode« Proof General verwandelt Emacs in einen interaktiven Beweisassistenten, um mithilfe verschiedener Theorembeweiser formale mathematische Beweise zu schreiben.

Mit diesem Paket unterstützt Proof General Coq. (Es gibt keinen anderen Beweisassistenten, den man sinnvoll unterstützen kann.)

Markierungen: Feld: Mathematik, Implementiert in: Lisp, Benutzer-Schnittstellen: interface::graphical, interface::text-mode, X-Window-System, Rolle: Erweiterung, role::program, suite::emacs, Zweck: Bearbeiten, X-Window-System: Anwendung

Andere Pakete mit Bezug zu proofgeneral

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: emacs

Editor GNU Emacs (Metapaket)
auch ein virtuelles Paket, bereitgestellt durch emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk

sug: proofgeneral-doc

Generisches Frontend für Beweisassistenten - Dokumentation
sug: prooftree

Paket nicht verfügbar

proofgeneral herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
all	625,3 kB	2.140,0 kB	[Liste der Dateien]