Zulip Chat Archive
Stream: lean4
Topic: Community Guidelines
Daniel Selsam (Apr 19 2021 at 16:13):
Lean4 has a diverse community. To facilitate harmonious collaboration, we the developers propose the following community guidelines.
- Be Gracious. People are working hard. If somebody implements a new feature, please say something nice before pointing out limitations. If you notice a rough edge, recognize that addressing it may not be others' highest priority and that sharing your frustration may not be productive.
- Be Humble. Lean is a sophisticated system. When phrasing suggestions, please consider the possibility that your suggestions may be unwise or otherwise problematic, especially if you are not an expert.
- Stay United. Fragmentation will hurt all of us in the long run. We are committed to developing one version of Lean that serves all of our sub-communities. Please do not even consider releasing an alternate version except as an absolute last resort.
If anybody notices a transgression of these guidelines in this stream, we kindly ask that you tag it with the :butterfly: icon. This icon should be interpreted as a friendly nudge only and not a castigation.
Last updated: Dec 20 2023 at 11:08 UTC