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.
Partners
- IBM Deutschland
- University of Edinburgh
Project
PGKit
Generic User Interfaces for Interactive Theorem Provers
-
Duration:
-
Research Topics
Other
- Application fields
Other
Contact Person
Keyfacts
- Involved research areas
Cyber-Physical Systems - Head
Prof. Dr. Christoph Lüth - Website
http://proofgeneral.inf.ed.ac.uk/kit