## Stream: new members

### Topic: Aram Bingham (hello world)

#### Aram Bingham (May 04 2020 at 04:34):

Hi!
I am a PhD student working in algebraic combinatorics but I started playing through the numbers game and am interested in getting more involved with lean. Nice to find you all here!
Aram

#### Patrick Massot (May 04 2020 at 07:38):

Welcome Aram! Did you see this thread? Having feedback would be very useful to the community.

#### Johan Commelin (May 04 2020 at 08:16):

@Aram Bingham We're slowly trying to get some combinatorics and graph theory into mathlib. For combinatorics, @Bhavik Mehta would be a good person to speak to. Graph theory was happening on the hedentiemi branch of mathlib, but has been dormant for a couple of weeks.

#### Aram Bingham (May 04 2020 at 08:21):

Hi Patrick! Thanks for sharing I will have a look soon.

#### Aram Bingham (May 04 2020 at 08:24):

Thanks for the pointers Johan, that's exciting to hear. I will get in touch when I get up to speed,

#### Mathieu Guay-Paquet (May 04 2020 at 20:17):

Welcome! And yay algebraic combinatorics :)

Last updated: May 17 2021 at 23:14 UTC