Teaching Geometric Proof with Tech: Pitfalls and Possibilities
Four technical and human-centered design guidelines for educational proof tools to meet teacher needs at scale are proposed: integrating diagram and proof, generating problems and feedback automatically, supporting multiple proof formats, and reducing accidental complexity in the user experience.