Items where authors include "Paulson, L.C."

Article

Edmonds, C. orcid.org/0000-0002-8559-9133, Koutsoukou-Argyraki, A. orcid.org/0000-0002-8886-5281 and Paulson, L.C. orcid.org/0000-0003-0288-4279 (2022) Formalising Szemerédi’s regularity lemma and Roth’s theorem on arithmetic progressions in Isabelle/HOL. Journal of Automated Reasoning, 67. 2. ISSN 0168-7433