Permission for github

Stream: new members

[Jérémie Turcotte]

Hello, I'd like to get permission to get write access on the mathlib github. My contributions will be mostly limited to graph theory. There isn't yet much of that in mathlib, but we (small reading course at McGill University we created to learn Lean) intend to add as much as possible of a the contents of standard introductory graph theory class to mathlib. Thanks!

[Jérémie Turcotte]

My username is tjeremie

[Alex J. Best]

@maintainers :up:

[Riccardo Brasca]

Invitation sent!

[Vasily Nesterov]

Hello! I'm working on matrix group examples from the undergrad_todo. At the moment I've defined all the missing ones. Can you please give me access?
(username: vasnesterov)

[Kevin Buzzard]

@maintainers

[Heather Macbeth]

cc @Kyle Miller who is also working on undergrad linear algebra

[Scott Morrison]

Invite sent.

[Peter Bruin]

@maintainers can you give me push access to the github repo (username pjbruin)? I'm planning to contribute to the character-table branch (and possibly other things useful for Burnside's theorem). Thanks!

[Riccardo Brasca]

Invite sent!

[Johan Commelin]

@Peter Bruin Voila: https://github.com/leanprover-community/mathlib/invitations

[Alexis Leroux-Lapierre]

Hi all! My name is Alexis Leroux-Lapierre and I am a phd student from McGill university in Montreal working with @Jérémie Turcotte on a small reading course about graph theory in Lean. I'd like to get permission to get write access on the mathlib github. My contributions would be towards acyclic graphs and some connectivity lemmas.

Thanks in advance !

My github username is ALerouxLapierre

[Bryan Gin-ge Chen]

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

[Calvin Lee]

Hey folks! I've been using Lean4 for quite awhile, but I've recently started doing some algebraic geometry with a friend in mathlib. I'd like to upstream some things as we go along. Could I get write access to github? Planning on contributing some missing definitions for localized modules, currently.

[Johan Commelin]

@Calvin Lee Please tell us your github username.

[Calvin Lee]

Oops! theorem proving fried my brain
https://github.com/4e554c4c

[Johan Commelin]

@Calvin Lee Voila :mail: : https://github.com/leanprover-community/mathlib/invitations

[Pedro Sánchez Terraf]

Hi! I've been working on the Borel hierarchy and I would like to ask for non-master access to the mathlib repo. My Github user is sterraf.
Thanks in advance!

[Bryan Gin-ge Chen]

@Pedro Sánchez Terraf Invite sent! https://github.com/leanprover-community/mathlib/invitations

[Bernhard Reinke]

Hi, I am working on wreath products and would like to ask for non-master access to the mathlib repo. My Github user name is b-reinke. Thanks!

[Johan Commelin]

@Bernhard Reinke Voila: https://github.com/leanprover-community/mathlib/invitations

[Vasily Nesterov]

Hi! I've formalized Radon's theorem on convex sets in Lean 4: https://github.com/vasnesterov/mathlib4/blob/master/Mathlib/Analysis/Convex/Radon.lean. I'm also going to formalize related Helly's theorem and the Shapley-Folkman lemma. Could I get write access to mathlib4 repository? My username is vasnesterov.

[Kevin Buzzard]

@maintainers

[Anatole Dedecker]

@Vasily Nesterov Invite sent!
It's the first time I invite someone, please tell me if everything works fine :sweat_smile:

[Vasily Nesterov]

@Anatole Dedecker Everything is super, thank you!