TY  - RPRT
TI  - Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction
AU  - Josje Lodder
AU  - Bastiaan Heeren
AU  - Johan Jeuring
PY  - 2020
DO  - 10.4204/eptcs.313.2
UR  - https://arxiv.org/abs/2002.12552
ID  - 2002.12552
ER  -