← AMRAL · BSD Conjecture · Layer 2 · Recomputation · RUN-030

RUN-030

RUN-030 — the machine-checkable arithmetic certificate for 696.e1, and what building it caught