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
Projekt | PGKit
Laufzeit:
Generische Benutzerschnittstellen für interaktive Theorembeweiser
Forschungsthemen
- Sonstige
Anwendungsfelder
- Sonstige
Prof. Dr. Christoph Lüth