About:
Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.

Author:
David Aspinall [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
8.15/10.00 (2 votes)

Homepage:
http://proofgeneral.inf.ed.ac.uk/
Tar/GZ:
http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.4.tar.gz
RPM package:
http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.4-1.noarch.rpm
Mailing list archive:
http://lists.inf.ed.ac.uk/pipermail/proofgeneral/

Trove categories: [change]

[Development Status]		5 - Production/Stable
[Environment]		X11 Applications
[Intended Audience]		End Users/Desktop
[License]		Free for non-commercial use, OSI Approved :: GNU General Public License (GPL)
[Operating System]		MacOS X, Microsoft :: Windows :: Windows 95/98/ME, POSIX :: Linux
[Programming Language]		Lisp
[Topic]		Scientific/Engineering :: Mathematics, Text Editors :: Emacs

Dependencies: [change]
No dependencies filed