@misc{indiciaec12841624c1a,
  title = {Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL},
  author = {Chelsea Edmonds and Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson},
  year = {2022},
  url = {https://arxiv.org/abs/2207.07499},
  note = {Source identifier: 2207.07499}
}