Exploration of Failed Proof Attempts

Typ: BA
Datum: 2017-07-14
Betreuer: Sarah Grebing
Bearbeiter:
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: