Zulip Chat Archive

Stream: new members

Topic: Aram Bingham (hello world)

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

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!

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: Dec 20 2023 at 11:08 UTC