Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor - Lodder, Josje; Heeren, Bastiaan; Jeuring, Johan; Neijenhuis, Wendy (International Journal of Artificial Intelligence in Education, 2021)