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
Duration:
Generic User Interfaces for Interactive Theorem Provers
Research Topics
- Other
Application fields
- Other
Prof. Dr. Christoph Lüth