Searching protocol for "lean-development"
Ship fast MVPs with ruthless prioritization
Automate Lean 4 proof implementation tasks.
Build, test, and debug Lean 4 projects with Lake.
Implement only what's needed now.
Avoid premature feature creep.
Master quotient lifts in Lean 4 for clean proofs.