5 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
We have formalised Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions, two major results in extremal graph theory and additive combinatorics, using the proo…