Verification run

Run 17

ImperialCollegeLondon/FLT branch main triggered via poller

failed commit f178a1fc94fd toolchain lean-v4-31-0-rc1 prover lean took 24m 56s · finished 5w ago

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00003) failed with exit code 143 (toolchain lean-v4-31-0-rc1, command: <command argv unavailable>)

Open project

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.