Stream: new members
Topic: Asking for write access
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!
Johan Commelin (Mar 13 2021 at 19:41):
@Jakob Scholbach voila: https://github.com/leanprover-community/mathlib/invitations
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.
Bryan Gin-ge Chen (Mar 14 2021 at 12:40):
@Alistair Tucker Invite sent! https://github.com/leanprover-community/mathlib/invitations
Alistair Tucker (Mar 14 2021 at 12:40):
Last updated: May 15 2021 at 23:13 UTC