Verification run

Run 22

ImperialCollegeLondon/FLT branch main triggered via ops_repair

failed commit c541ddcef7c9 prover lean took 4h 30m · finished 4w ago

detached build unit apx-build-498 is not active (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.