Alain

Stream: new members

[Alain Chavarri]

Hi, I'm Alain. I'm a PhD student working with Sander Dahmen.
@maintainers can I have access to push to the mathlib repository to try adding some basic lemmas?
Username: alainchmt
Thanks!

[Anne Baanen]

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