The Journal of Mathematical Behavior · 2015 · 18 citations · 36 references
Proof ComprehensionEngineeringReading ComprehensionAutomated ReasoningVerificationEducationProof AssistantProof TheoryProof SystemInstruction
36
Design Experiments in Educational Research
Paul Cobb, Jere Confrey, Andrea A. diSessa et al. · Educational Researcher · 2003 · 3.4K citations
Making the transition to formal proof
Robert C. Moore · Educational Studies in Mathematics · 1994 · 456 citations