Verification run

Run 445

promachina/iut-lean branch master triggered via poller

failed commit 88eeda703c6b prover unknown took 8h 57m · finished 3w ago

detached build unit apx-build-654 exited before build job reached terminal state (state=inactive/dead/success, exec=0/0)

Indexed output

missing theorems 0 edges 0

No indexed output recorded for this job yet.

This section populates after theorem extraction persists an indexing run with counts and diagnostics.