Verification run

Run 1

Gogopex/pfrbranch mastertriggered via poller

failedcommit d91e46788010prover leantook 1s · finished 16w ago

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

Indexed output

missingtheorems 0edges 0

No indexed output recorded for this job yet.

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