Verification run
Run 9
failed commit
9f6bb66bb5c0 prover unknown took 0s · finished 6w ago git clone failed with exit code Some(128)
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.