Verification run

Run 35

promachina/iut-lean branch master triggered via manual

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

Indexed output

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