What Details Do Teachers Expect From Student Proofs? A Study of Proof Checking in Geometry
J. Dimmel,P. Herbst