Zulip Chat Archive

Stream: new members

Topic: Asking for write access


view this post on Zulip Jakob Scholbach (Mar 13 2021 at 19:40):

Hello, I (Jakob Scholbach, algebraic geometer at the university of Münster) would like to ask for write access in order to suggest a small PR containing some basics around the exponential characteristic. My github name is JakobScholbach. Thanks!

view this post on Zulip Johan Commelin (Mar 13 2021 at 19:41):

@Jakob Scholbach voila: https://github.com/leanprover-community/mathlib/invitations

view this post on Zulip Alistair Tucker (Mar 14 2021 at 12:35):

Hi! I have proved my thing and in the process made about fifty [more general defs and lemmas] (https://github.com/agjftucker/exists-unique/tree/master/src/missing_mathlib) that might belong in mathlib rather than in my project. Would you like me to make PRs? If so I believe I need some sort of write access. My github name is agjftucker.

view this post on Zulip Bryan Gin-ge Chen (Mar 14 2021 at 12:40):

@Alistair Tucker Invite sent! https://github.com/leanprover-community/mathlib/invitations

view this post on Zulip Alistair Tucker (Mar 14 2021 at 12:40):

Thanks!


Last updated: May 15 2021 at 23:13 UTC