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.

Software

Work which is currently in progress includes:

Schemas and documentation

Planning

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 30 September 2015.