Verification run

Run 27

promachina/iut-lean branch master triggered via poller

succeeded commit 7dc5aeb267bc toolchain lean-v4-30-0 prover lean took 1h 44m · finished 6w ago

Indexed output

failed index job 8 theorems 0 edges 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.