Zulip Chat Archive

Stream: new members

Topic: Aram Bingham (hello world)


view this post on Zulip 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

view this post on Zulip Patrick Massot (May 04 2020 at 07:38):

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

view this post on Zulip 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.

view this post on Zulip Aram Bingham (May 04 2020 at 08:21):

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

view this post on Zulip 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,

view this post on Zulip Mathieu Guay-Paquet (May 04 2020 at 20:17):

Welcome! And yay algebraic combinatorics :)


Last updated: May 17 2021 at 23:14 UTC