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
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