Verification run
Run 151
failed commit
6739793850d3 prover unknown took 13m 50s · finished 5d ago detached build unit apx-build-1142 exited before build job reached terminal state (state=inactive/dead/success, exec=0/0)
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.