Forschungsprojekt
PGKit - Generische Benutzerschnittstellen für interaktive Theorembeweiser
Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware und standardisierten Schnittstellen.
Kontakt
Ansprechpartner:
Prof. Dr. Christoph Lüth
Projektleitung:
Prof. Dr. Christoph Lüth
Homepage:
http://proofgeneral.inf.ed.ac.uk/kit
Beteiligte Forschungsbereiche