reason

Analyze a mathematical claim or proof informally or semiformally from its labelled local context. Use to explain a proof step, expose assumptions, test an example, find a gap, or write informal interlinear metadata. Not for copyediting, literature extraction, or Lean/formal prover work.