Proof General Kit

[[http://proofgeneral.inf.ed.ac.uk/kit]Proof General Kit] is our implementation of the PGIP protocol and interface architecture. It consists of:

• A Haskell middleware component, the PG Broker
• Front end components, including
  • ProofGeneralEclipse
  • NewProofGeneralEmacs
  • PGWin

All of these components are under development and not yet ready for prime-time use. However, if you are brave enough to try working with development, see BuildingPGKit for details of how to download and build the components from source.

-- DavidAspinall - 19 Aug 2006