Searching protocol for "proof refactoring"
Refactor formal proofs for clarity.
Refine your Lean proofs
Discuss math without edits.
Continuous improvement and error proofing.
Run the Operator's Edge loop for adaptive tasks.
Prove array bounds in Lean 4
Continuous improvement and error proofing.
Continuous improvement and error proofing.
Enforce real tests with mandatory execution.
Navigate code's past and future.
Simplify docs for clarity & scannability
Delegate coding to AI