Verification run
Run 352
failedcommit
4657ae6853a8prover leantook 2h 2m · finished 13w agoIndexed 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.