Verification run

Run 165

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via github_backfill

failed commit a218576ecb06 toolchain lean-v4-31-0 prover lean took 59m 14s · finished 4d ago

runtime execution failed: successful stable shard extract-stable-superset-a reached the semantic RSS hard stop at 3820552192 / 4026531840 bytes; refusing to continue semantic extraction

Open project

Indexed output

missing theorems 0 edges 0

No indexed output recorded for this job yet.

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