Exploration of Failed Proof Attempts
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.
- Sarah Grebing (Raum 202, Geb. 50.34)