Project

PGKit

Generic User Interfaces for Interactive Theorem Provers

  • Duration:
  • Research Topics
    Other
  • Application fields
    Other

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

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz