Connect the Dots to Prove It: A Novel Way to Learn Proof Construction.

Mark McCartin-Lim, Beverly P. Woolf, Andrew McGregor

Browse the full SIGCSE paper archive.