Verification run
Run 244
succeededcommit
7dc5aeb267bctoolchain lean-v4-30-0prover leantook 1h 30m · finished 14w agoIndexed output
failedindex job 14theorems 0edges 0
encountered unexpected or invalid data: PgConnection::run(): too many arguments for query: 87070 (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.