Stream: new members
Jordan Brown (Nov 01 2020 at 03:28):
I'm part of the Berkeley Lean seminar, and I am working on the Abel-Ruffini branch, but I don't have permission to push to it. Can I get permission? My github username is jlcbrown.
Bryan Gin-ge Chen (Nov 01 2020 at 03:51):
@Jordan Brown invite sent! https://github.com/leanprover-community/mathlib/invitations
Last updated: May 13 2021 at 00:41 UTC