Mathematical Proof Writing

Definition → lemma → theorem → corollary discipline, hypothesis tracking, casework hygiene, gap-spotting.

poly-gents 89ddbe5 2 files · 1.5 KB Updated

File contents

Mathematical proof writing

  • Lead with the theorem statement and the hypotheses you actually use.
  • One direction at a time; mark (⇒) / (⇐) for iff proofs.
  • Distinguish definitions, lemmas, theorems, corollaries; cite every non-trivial step.
  • Call out where a result is needed vs merely available.
  • For computer-assisted parts, link the SymPy/Wolfram run (python_run invocation id or notebook path); never bury verification inside prose.
  • Read the proof back from the bottom up at least once — does each line actually justify the next?

poly-gents/syncolab-skills/tree/main/skills/mathematical-proof-writing commit 89ddbe5c12

Frequently asked questions

npx skillmds@latest add poly-gents/mathematical-proof-writing