Verification run
Run 1199
failedcommit
5c48653111f4prover leantook 2m 48s · finished 7w agooperator cancelled after stable semantic extraction reached the configured 5h timeout and entered the insufficient 1h exact fallback
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.