Verification run
Run 19
succeeded commit
790624e02dd3 toolchain lean-v4-31-0-rc1 prover lean took 11h 53m · finished 5w ago
Indexed output
failed index job 20 theorems 0 edges 0
error communicating with database: Connection reset by peer (os error 104)
No indexed output recorded for this job yet.
This section populates after theorem extraction persists an indexing run with counts and diagnostics.