Paket: proofgeneral (4.4.1~pre170114-1.2)

[ Quellcode: proofgeneral  ]

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

• dep: emacs-gtk

  Editor GNU Emacs (mit Unterstützung für eine GTK+-Benutzeroberfläche)

• dep: mmm-mode

  Mehrfacher »Major Mode« für Emacs

• sug: proofgeneral-doc

  Generisches Frontend für Beweisassistenten - Dokumentation

• sug: prooftree

  proof-tree visualization for Proof General

proofgeneral herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	588,9 kB	2.036,0 kB	[Liste der Dateien]