Zulip Chat Archive

Stream: new members

Topic: Vladimir Ivanov

Vladimir Ivanov (Dec 16 2021 at 14:44):


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 (Dec 16 2021 at 15:03):

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

Vladimir Ivanov (Dec 16 2021 at 15:56):

Thank you!

Last updated: Dec 20 2023 at 11:08 UTC