Package: proofgeneral (3.7-3)

Links for proofgeneral

Debian Resources:

Download Source Package proofgeneral:

Maintainer:

Stefan Schimanski (QA Page)

External Resources:

Homepage [proofgeneral.inf.ed.ac.uk]

Similar packages:

generic interface for proof assistants - common package

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. It works with either XEmacs or GNU Emacs.

Tags: Field: Mathematics, User Interface: Command Line, Role: Plugin, Application Suite: Emacs, Purpose: Checking

Other Packages Related to proofgeneral

depends

recommends

suggests

dep: debconf

Debian configuration management system

or debconf-2.0

virtual package provided by cdebconf, cdebconf-udeb, debconf
dep: emacs22

The GNU Emacs editor
also a virtual package provided by emacs22-gtk, emacs22-nox

or emacsen

virtual package provided by emacs, emacs21, emacs21-nox, emacs22, emacs22-gtk, emacs22-nox, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

rec: proofgeneral-misc

generic interface for proof assistants - theorem provers support

or proofgeneral-coq

generic interface for proof assistants - coq support

sug: x-symbol

Package not available

Download proofgeneral

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	471.9 kB	1696 kB	[list of files]