Steve Earth, Jeremy R. Johnson, Bruce W. Char. Proof Buddy: A Tool to Aid Students in Proof Construction. In Maureen Doyle, Ben Stephenson, Brian Dorn, Leen-Kiat Soh, Lina Battestilli, editors, Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023. pages 1259, ACM, 2023. [doi]
Abstract is missing.