# Contributing to Lean 4 (Meta)programming Cookbook

Thank you for your interest in contributing to the Lean 4 (Meta)programming Cookbook! We appreciate any help that makes this resource better for the community.

## How to Contribute

There are many ways to contribute:

- **Add a New Recipe**: Share your knowledge by writing a concise, modular example.
- **Improve Existing Recipes**: Fix typos, improve explanations, or update code to the latest Lean 4 version.
- **Improving Documentation**: If you find any other documentation issues that could be improved, please feel free to contribute.
- **Report Issues**: Found a bug or an error? Let us know in the GitHub issues.
- **Feedback & Suggestions**: Have an idea for a new chapter? Start a discussion.

## Getting Started

1. **Read the Guidelines**: Please read our [Cookbook Guidelines](COOKBOOK_GUIDELINES.md) for technical instructions on how to structure your recipe contribution.
2. **Setup Locally**: Clone the repository and ensure you can build it.
   ```bash
   lake build lean-cookbook
   lake exe lean-cookbook # to preview the documentation locally
   ```
3. **Follow the Code of Conduct**: We expect all contributors to adhere to our [Code of Conduct](CODE_OF_CONDUCT.md).

## Pull Request Process

1. Fork the repository and create your branch from `main`.
2. Ensure your code builds and the documentation previews correctly.
3. Submit a pull request with a clear description of your changes.
4. Once reviewed and approved, your contribution will be merged.

We look forward to your contributions!