Verification run

Run 56

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via github_backfill

succeeded commit ecbab15576d0 toolchain lean-v4-30-0 prover lean took 50m 25s · finished 4w ago

Indexed output

failed index job 30 theorems 0 edges 0

error returned from database: could not write to file "base/pgsql_tmp/pgsql_tmp4103840.6": No space left on device

No indexed output recorded for this job yet.

This section populates after theorem extraction persists an indexing run with counts and diagnostics.