Exploration of Failed Proof Attempts
| Typ: | BA |
|---|---|
| Datum: | 2017-07-14 |
| Betreuer: | Sarah Grebing |
| 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:
- Sarah Grebing (Raum 202, Geb. 50.34)