Develop proofs, counterexamples, constructions and mathematical understanding for research-level problems, or rigorously audit an argument. Preserve reusable insights and the scope of successful and failed routes across sessions.
