Vladimir Ivanov

Stream: new members

[Vladimir Ivanov]

Hello.

I am a student and I want to do Lean projects together with my friend Yaël Dillies, who is quite active in the Lean community.

My GitHub handle is astOwOlfo, could someone please give me permission to do requests to mathlib?

[Anne Baanen]

Done: https://github.com/leanprover-community/mathlib/invitations

[Vladimir Ivanov]

Thank you!