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: May 17 2021 at 23:14 UTC