TY  - CONF

T1  - A formalisation of the Balog–Szemerédi–Gowers theorem in Isabelle/HOL

JO  - CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

UR  - https://eprints.whiterose.ac.uk/id/eprint/207520

PY  - 2023/01/11

AU  - Koutsoukou-Argyraki A

AU  - Bakšys M

AU  - Edmonds C

ED  - 

DO  - DOI: 10.1145/3573105.3575680

PB  - Association for Computing Machinery (ACM)

SN  - 9798400700262

SP  - 225

EP  - 238

Y2  - 2024/12/23

ER  -