Verification run
Run 155
succeededcommit
1a8c042f4c9btoolchain lean-v4-30-0prover leantook 3h 36m · finished 14w agoIndexed output
failedindex job 13theorems 0edges 0
encountered unexpected or invalid data: PgConnection::run(): too many arguments for query: 100775 (sqlx_postgres::connection::executor:220)
No indexed output recorded for this job yet.
This section populates after theorem extraction persists an indexing run with counts and diagnostics.