Searching protocol for "completion proof"
Write rigorous mathematical proofs.
Complete Coq proofs by induction with standard lemmas.
Audit-proof your work with a session log.
Master Coq arithmetic proofs.
Guarantee task completion with proof.
Recursive planning to complete all leaves in a plan graph.
Unstick your proofs, find missing lemmas.
Master limits with formal epsilon-delta proofs.
Validate task completion with artifacts.
Batch LLM calls and Lean4 proofs.
Proof-driven completion for every task.
Verify dev server, tests, and proof video