Proof General Home

Proof General Kit

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.


Work which is currently in progress includes:

Schemas and documentation


The ideas behind the Proof General Kit are described in these papers:

Click here to go back to the front page.

Web pages by David Aspinall. Please report issues on PG trac.
Last modified 21 December 2017.