introductions / github access

Stream: new members

[Edward Lee]

Hi there! I'm a CS PhD student at the University of Waterloo working on formalizing parts of matroid theory with in my spare time with @Peter Nelson. It's nice to meet all of you! I'm hoping that I can make time to contribute to mathlib in the future, so could I get write access to the non-main branches on mathlib? Thanks!

edit: my github username is e45lee

[Bryan Gin-ge Chen]

Invitation sent! https://github.com/leanprover-community/mathlib/invitations