Remove files resurrected by bad merge of origin/master

Merge branch 'master' of github.com:Kripner/openprover

Merge branch 'dev'

Add --resume to continue an interrupted MiniF2F benchmark

Print spliced Lean source verbatim before each verification

Silence baseline per-turn output when run from the benchmark harness

Normalize spawn tasks to dicts when parsed as inline string array

Re-indent multi-line proof bodies to match sorry's column

Persist full conversation and Lean attempts in baseline run dirs

Add worked example to baseline system prompt

Enforce theorem-statement integrity in baseline prover

Show verification details in baseline interactive mode

Use markdown ```lean fences instead of <lean> XML tags

Add --max-tokens budget option to baseline prover

Simplify baseline.py: drop tools, use openprover.llm