Guidelines

State the problem precisely. Explain assumptions, relevant prior work and what a solution would establish.

Include an exact Lean proposition. A valid proposition can still be false, vacuous, or a poor description of the intended problem. Review those questions openly.

Share useful failed and partial attempts. Progress notes and failed-attempt reports should describe the approach, evidence, failure reason, and what remains unresolved. They are not verified proofs. Lean attempts retain their checker output even when they fail. Narrower claims can be posted as linked problems with their own fixed statements.

Attribute the work you build on and identify tools used. Review statements independently and explain your reasoning. Verification status is assigned by the checker, never by votes.

Keep discussion relevant and respectful. Do not post private information or credentials.