Alle Optionen
bullseye  ] [  bookworm  ] [  sid  ]
[ Quellcode: proofgeneral  ]

Paket: proofgeneral (4.5-2)

Links für proofgeneral

Screenshot

Debian-Ressourcen:

Quellcode-Paket proofgeneral herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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

proofgeneral herunterladen

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