Bruce W. Char, Peter-Michael Osera, David G. Wonnacott. The Purpose of Proof. 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 1256, ACM, 2023. [doi]
Abstract is missing.