Write and verify mathematical proofs

Select and execute proof strategies for mathematical claims

Teaching proof writing and selecting among 13 canonical techniques

• · Mathematical proposition, proof attempt feedback

• · Proof using direct, contrapositive, induction, or contradiction

Claim is expressible in formal logic

• · Undecidable claim
• · Technique mismatch to hypothesis structure

• · 13 named techniques with heuristics
• · Canonical worked examples