Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware und standardisierten Schnittstellen.
Partner
- IBM Deutschland
- University of Edinburgh
Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence
