Verification run

Run 1

Gogopex/pfr branch master triggered via poller

failed commit d91e46788010 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.