Package: proofgeneral-misc (3.5-4.1)

ProofGeneral support for different theorem provers

This package provides the Proof General support for several theorem provers which are not available as Debian packages yet. This includes: ACL2, HOL98, Isabelle, Isar, LClam, LEGO, Phox, Plastic, Twelf

Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. Proof General has been developed at the LFCS in the University of Edinburgh.

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