Zulip Chat Archive

Stream: new members

Topic: making a contribution


Giacomo Maletto (Sep 17 2021 at 10:14):

Hello, I'd like to start off by making a very light contribution - adding to mathlib a couple of lemmas about lists that I found useful and that are absent from Mathlib as far as I can tell.
Can I have write access to non-master branches of the mathlib repository? My GitHub username is GiacomoMaletto.

Alex J. Best (Sep 17 2021 at 10:16):

@maintainers :up:

Johan Commelin (Sep 17 2021 at 10:20):

@Giacomo Maletto welcome: https://github.com/leanprover-community/mathlib/invitations

Giacomo Maletto (Sep 17 2021 at 10:27):

Thank you!


Last updated: Dec 20 2023 at 11:08 UTC