doc: expand PR creation guidelines in CLAUDE.md This PR expands the pull request creation section with detailed formatting guidelines including title format (type prefixes, imperative present tense) and body format requirements (starting with "This PR"). Adds a concrete example for reference.
This is the repository for Lean 4.
See Install Lean.
Please read our Contribution Guidelines first.
See Building Lean.