Verification run
Run 1
succeededcommit
5fdc2dad5be2toolchain lean-v4-30-0prover leantook 1h 54m · finished 15w agoIndexed output
failedindex job 3theorems 0edges 0
error returned from database: canceling statement due to statement timeout
No indexed output recorded for this job yet.
This section populates after theorem extraction persists an indexing run with counts and diagnostics.