# Contributing to this project

We welcome anyone who can contribute something to this project.
For efficiency it is best that all pull requests are in response to an open issue. Potential contributors are encouraged to participate in issue conversations or open new issues.
The project aims to remain maintainable and educational, so keep this in mind when preparing your PRs.

## Discussion

Mostly discussion related to the project happens on Zulip.

## Style

We aim to follow the Mathlib style guidelines for all definitions, statements, proofs and documentation.

- [Library Style Guidelines](https://leanprover-community.github.io/contribute/style.html)
- [Documentation style](https://leanprover-community.github.io/contribute/doc.html)
- [Mathlib naming conventions](https://leanprover-community.github.io/contribute/naming.html)

In addition we welcome comments explaining what is going on in the code, and ensuring a good level of
readability of the proofs.

## Collaborating on this project

Contributions should be made by forking the repo and then opening a pull request. Most often some discussion in advance is useful.