Proof Buddy: A Tool to Aid Students in Proof Construction.

Steve Earth, Jeremy R. Johnson, Bruce W. Char

Browse the full SIGCSE paper archive.