Zulip Chat Archive
Stream: graph theory
Topic: Ruzsa-Szemerédi
Yaël Dillies (May 25 2022 at 16:41):
Just to announce that I now have a proof of Ruzsa-Szemerédi here! It's trivial on paper but technical to handle in Lean because of the curse of small cases.
Yaël Dillies (May 25 2022 at 17:28):
Bhavik's proof of the corners theorem was instrumental in this, because the overall strategy is basically a copy-paste.
Last updated: Dec 20 2023 at 11:08 UTC