Verification run

Run 1

promachina/iut-lean branch master triggered via poller

succeeded commit 5fdc2dad5be2 toolchain lean-v4-30-0 prover lean took 1h 54m · finished 6w ago

Indexed output

failed index job 3 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.