Verification run

Run 161

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via manual

failed commit 6739793850d3 toolchain lean-v4-31-0 prover lean took 9m 51s · finished 3d ago

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