Verification run

Run 162

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via github_backfill

failed commit f55e85551ac1 toolchain lean-v4-30-0 prover lean took 13m 54s · finished 3d ago

runtime execution failed: successful stable shard extract-stable-superset-b reached the semantic RSS hard stop at 4131954688 / 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.