Verification run
Run 27
succeededcommit
7dc5aeb267bctoolchain lean-v4-30-0prover leantook 1h 44m · finished 15w agoIndexed output
failedindex job 8theorems 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.