Zulip Chat Archive
Stream: new members
Topic: Jovan Gerbscheid
Jovan Gerbscheid (Jan 13 2023 at 17:17):
hello, could I please have pull rights for mathlib? my username is JovanGerb. I want to work on geometry with Yaël
Johan Commelin (Jan 13 2023 at 17:30):
@Jovan Gerbscheid Welcome. Voila: https://github.com/leanprover-community/mathlib/invitations
Last updated: Dec 20 2023 at 11:08 UTC