Paket: proofgeneral (4.5-3)

Links für proofgeneral

eLxr Patch-Überblick

Quellcode-Paket proofgeneral herunterladen:

[proofgeneral_4.5-3.debian.tar.xz]
[proofgeneral_4.5-3.dsc]
[proofgeneral_4.5.orig.tar.gz]

Betreuer:

Debian Math Team
Julien Puydt

Externe Ressourcen:

Homepage [proofgeneral.github.io]

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

Andere Pakete mit Bezug zu proofgeneral

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: emacs

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

sug: proofgeneral-doc

generic frontend for proof assistants - documentation
sug: prooftree

Paket nicht verfügbar

proofgeneral herunterladen

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