Package: proofgeneral (3.7-4)

[ Source: proofgeneral  ]

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

• dep: debconf (>= 0.5)

  Sistema de Gerencimento de Configuração Debian

  or debconf-2.0

  virtual package provided by cdebconf, cdebconf-udeb, debconf

• dep: dpkg (>= 1.15.4)

  sistema de gerenciamento de pacotes Debian

  or install-info

  gerenciador de documentação instalada em formato info

• dep: emacs22

  Package not available

  or emacsen

  virtual package provided by emacs, emacs23, emacs23-lucid, emacs23-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• rec: proofgeneral-misc

  generic interface for proof assistants - theorem provers support

  or proofgeneral-coq

  interface genérica para assistentes de prova - suporte a coq

• sug: x-symbol

  Package not available

Download proofgeneral

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	471.1 kB	1,696.0 kB	[list of files]