ExitZero: minute-scale re-verification certificates for record-scale numerical computations

A tool that packages a finished large-scale numerical computation into a tiny standalone verifier plus interval-arithmetic certificates, so a referee or auditor can confirm a record-breaking claim on a laptop in minutes instead of re-running a multi-year computation.