graph theory stream

Stream: general

[Jalex Stark]

There is now "private" graph theory stream with all of the people that I know currently trying to contribute graph theory code to mathlib.

The invite policy for the stream is just like the invite policy for write access to non-master branches of the mathlib repo --- anybody that seriously claims they want to contribute is welcome. Ask @Jalex Stark or @Alena Gusakov or @Bhavik Mehta if you want an invite.

[Jalex Stark]

part of the point of the stream is that some of the people making contributions are young students who may have trouble finding the right place for questions in the public streams.

(another point of the stream is that i have too many private messages about these topics)

[Simon Hudon]

I'd love an invite!

[Bryan Gin-ge Chen]

I don't think I'll have time to contribute in the near future, but I'd also like an invite if that's OK.

[Jalex Stark]

done on both counts

[Simon Hudon]

Thanks!

[Chris Wong]

@Jalex Stark I'd love an invite as well :big_smile:

[Kyle Miller]

@Chris Wong Done!

[Alex Peattie]

Could I get an invite too please :smile: ?

[Anatole Dedecker]

Not sure if I'm going to be a great help, but I'd like to participate too, could I get an invite ?

[Aaron Anderson]

Welcome!

[Vaibhav Karve]

Could I get an invite too? Thanks!

[Peter Nelson]

Could I please have an invite?