Zulip Chat Archive

Stream: lean4

Topic: contributing


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: Dec 20 2023 at 11:08 UTC