Home  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Exploration of Failed Proof Attempts

Typ: BA
Datum: 2017-07-14
Betreuer: Sarah Grebing
Bearbeiter: Thomas Trapp
Aushang:

Ziel

Design and implementation of an interaction concept for a proof exploration feature in the KeY system. The user should be able to test their hypotheses about why a proof attempt failed.

Kontakt: