1.1.4 Community Engagement, Contributions and Collaboration
All kinds of feedback and contributions to the Clowder Project are extremely welcome: pointing out typos, errors, historical remarks, references, layout of webpages, spelling errors, improvements to the overall structure, missing lemmas, etc.
The Clowder Project has an official Discord server in which people can ask questions, carry out discussions and give feedback. Please join it if you’d like to contribute to the Clowder Project. Alternatively, you may also reach out to the project maintainer at emily.de.oliveira.santos.tmf@gmail.com.
1.1.4.1 How to Contribute
There’s a number of ways to contribute to the Clowder Project, some of which will be detailed a bit below. However, please keep in mind that they are not just examples, and are most definitely not meant to be exhaustive.
If there’s another way in which you’d like to contribute, by all means feel free to drop by the project’s Discord (or, alternatively, reach out to the project maintainer).
1.1.4.2 Ways to Contribute: Missing Proofs
There is a large number of missing proofs in the project, ranging from trivial proofs to simple lemmas to more involved results.
Missing proofs are listed in Section 1.3.1.
Note: The following chapters are undergoing revision. If you’re interested in contributing, please disregard them for now:
1.1.4.3 Ways to Contribute: Missing Examples
New examples to the Clowder Project are always welcome. These could be examples illustrating a new concept, examples showing why certain conditions are necessary in a given proof, counterexamples to be aware of, etc.
Some examples which would be particularly nice to have in Clowder are listed in Section 1.3.2. Please do keep in mind however that all examples are welcome, even if they fall outside the examples listed in Section 1.3.2.
1.1.4.4 Ways to Contribute: Questions
A number of questions appear throughout the Clowder Project; tackling these would be an amazing way to contribute to the project.
The questions appearing throughout the Clowder Project are listed in Section 1.3.3.
