Verification run
Run 342
failedcommit
12abe93e1eb0toolchain lean-v4-30-0prover leantook 9m 7s · finished 13w agoruntime execution failed: semantic_module_order_invalid: modules must be sorted deterministically
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.