Solve hard math proofs and catch your own mistakes

Works through olympiad-level proofs step-by-step, then deliberately attacks its own reasoning to find gaps standard verification would miss.

Best for: Math competitors, coaches, and educators grading or preparing for IMO, Putnam, or AIME.