Your agent said it finished. Smokin’ re-runs the proof itself — 35 checks, nothing left running.
Enter → · View on GitHub