Generating Hints and Feedback for Hilbert-style Axiomatic Proofs.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

Browse the full SIGCSE paper archive.