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.
Mostly discussion related to the project happens on Zulip.
We aim to follow the Mathlib style guidelines for all definitions, statements, proofs and documentation.
In addition we welcome comments explaining what is going on in the code, and ensuring a good level of readability of the proofs.
Contributions should be made by forking the repo and then opening a pull request. Most often some discussion in advance is useful.