Searching protocol for "lean-proof"
Prove categorical laws with Lean proofs.
Enhance Lean proof quality and consistency.
Emulate Aristotle's Lean proof workflow automatically.
Step-by-step Lean proof assistant
Coordinate parallel Lean proofs with LC CLI.
Verify constraints with proofs and runtime checks.
Break down proofs for clear learning.
Turn math prompts into Lean proofs.
Refine your Lean proofs
Search Mathlib by type signature
Automate RwEq proofs with path tactics in Lean.