Aram Bingham (hello world)

Stream: new members

[Aram Bingham]

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]

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

[Johan Commelin]

@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]

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

[Aram Bingham]

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

[Mathieu Guay-Paquet]

Welcome! And yay algebraic combinatorics :)