PGKit

Generic User Interfaces for Interactive Theorem Provers

Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between interactive proof tools, called PGIP.

Duration: Jan 1, 2005 - Dec 31, 2007
Partners: University of Edinburgh
Homepage: http://proofgeneral.inf.ed.ac.uk/kit
Research area: Software Systems  
Funding: Industrial Partners
© DFKI GmbH
last updated 08/02/2017
to top