@misc{misc, title  = {{Formalising Szemerédi's Regularity Lemma and Roth's Theorem on
  Arithmetic Progressions in Isabelle/HOL}},

 url = {{}},

 year = {{2022}},

 month = {{7}},

 author = {{Edmonds C and Koutsoukou-Argyraki A and Paulson LC}},

 note = {{Accessed on 2024/12/23}}}