Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor
- Josje Lodder*
- , Bastiaan Heeren
- , Johan Jeuring
- , Wendy Neijenhuis
*Corresponding author for this work
Research output: Contribution to journal › Article › Academic › peer-review