Searching protocol for "lean"
Delegate Lean research tasks to an agent.
Automate Lean 4 proof implementation tasks.
Emulate Aristotle's Lean proof workflow automatically.
Convert C/C++ to Lean4
Convert Python to Lean4
Formalize and verify Lean 4 proofs.
Prove categorical laws with Lean proofs.
Translate Python to Lean 4 for proofs.
Generate Lean Canvas for business ideas.
Map your business hypothesis.
Lean 4 tactics without Mathlib.
Enhance Lean proof quality and consistency.