TY  - RPRT
TI  - Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL
AU  - Chelsea Edmonds
AU  - Angeliki Koutsoukou-Argyraki
AU  - Lawrence C. Paulson
PY  - 2022
UR  - https://arxiv.org/abs/2207.07499
ID  - 2207.07499
ER  -