contributing

Stream: lean4

[Sebastian Ullrich]

In case you haven't seen it, we've updated the contribution guidelines for Lean 4: https://github.com/leanprover/lean4/blob/master/CONTRIBUTING.md
My hope is that with these guidelines we can enable a steady stream of external contributions of the described kinds while avoiding any unnecessary strife. If you have any questions, feel free to ask them here.

[Reid Barton]

I assume that for issues that are clearly bugs (e.g. Lean crashes) you would prefer GitHub issues over a post here?

[Sebastian Ullrich]

I would, yes!