Verification run

Run 166

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via github_backfill

failed commit 624935a81243 toolchain lean-v4-31-0 prover lean took 57m 4s · finished 3d ago

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