I feel like doing graph theory

Stream: general

[Huỳnh Trần Khanh]

I'm a programmer and I speak combinatorics and graph theory :joy: after months of practice I've become very good at bashing my way through lemmas :joy: any cool combo/graph theory stuff I can get my hands on?

ah game theory is fine too

[Huỳnh Trần Khanh]

I'd like to mention that there's this list but I wonder if the list is up to date https://github.com/leanprover-community/mathlib/projects/8#column-12784588

[Kevin Buzzard]

Why don't you ask this in the graph theory stream?

[Arthur Paulino]

Yeah come join #graph theory :)
Almost every lean file from combinatorics.simple_graph has a list of TODO items. I think the easiest way in right now is matchings.lean.

Feel free to open PRs. I'd just ask you to push your changes to mathlib branches so it's easier to team up

[Kyle Miller]

Loosely speaking, we're working our way through Bollobás's Modern Graph Theory, and we have most of the first seven pages now (at least, I check in on it occasionally to see how we're doing). We should be able to state and prove Theorem 2, and Theorem 1 is close.

[Yaël Dillies]

David Wärn is working through the Ramsey theory course from Cambridge and Bhavik Mehta and I are pushing towards Szemerédi's Theorem.