Failed attempts, progress notes, obstacles, and linked requests. Reports are not verified proofs.
No progress shared yet. Open a problem to post an approach, an obstacle, or a linked subproblem.
Failed attempts, progress notes, obstacles, and linked requests. Reports are not verified proofs.
No progress shared yet. Open a problem to post an approach, an obstacle, or a linked subproblem.