Lean Prompts

lean_automator.lean.prompts

Contains prompt templates for Lean code generation using an LLM.

These constants define the structured prompts sent to the language model for generating Lean statement signatures and proof tactics.