Proof General Kit

Proof General Kit is our implementation of the PGIP protocol and interface architecture. It consists of:

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 PGKitDevelopment for development information, including details of how to download and build the components from source.

For more details, including publications, see the main site page at

Topic revision: r3 - 21 Aug 2006 - 15:18:12 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies