Sebastian Ullrich (Jan 13 2021 at 12:33):
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 (Jan 13 2021 at 12:37):
I assume that for issues that are clearly bugs (e.g. Lean crashes) you would prefer GitHub issues over a post here?
Sebastian Ullrich (Jan 13 2021 at 12:43):
I would, yes!
Last updated: May 18 2021 at 23:14 UTC