Zulip Chat Archive

Stream: lean4

Topic: contributing


view this post on Zulip 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.

view this post on Zulip 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?

view this post on Zulip Sebastian Ullrich (Jan 13 2021 at 12:43):

I would, yes!


Last updated: May 18 2021 at 23:14 UTC