TY  - GEN

T1  - Formalising Szemerédi's Regularity Lemma and Roth's Theorem on
  Arithmetic Progressions in Isabelle/HOL

PY  - 2022/07/15

AU  - Edmonds C

AU  - Koutsoukou-Argyraki A

AU  - Paulson LC

ED  - 

Y2  - 2024/12/23

ER  -