Verification run
Run 2
failedcommit
manualprover leantook 1s · finished 16w agotoolchain 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.