Verification run
Run 35
succeededcommit
7dc5aeb267bctoolchain lean-v4-30-0prover leantook 3h 6m · finished 15w agoIndexed output
failedindex job 12theorems 0edges 0
error returned from database: terminating connection due to administrator command
No indexed output recorded for this job yet.
This section populates after theorem extraction persists an indexing run with counts and diagnostics.