Verification run

Run 2

Gogopex/pfr branch master triggered via manual

failed commit manual prover lean took 1s · finished 7w ago

toolchain resolution failed: resolved toolchain 'lean-v4-28-0-rc1' is not present in verifier_toolchains. register it in verifier_toolchains.

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.