Verification run
Run 352
failed commit
4657ae6853a8 prover lean took 2h 2m · finished 4w ago
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.