@inproceedings{inproceedings, title  = {{A formalisation of the Balog–Szemerédi–Gowers theorem in Isabelle/HOL}},

 publisher = {{Association for Computing Machinery (ACM)}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/207520 }},

 year = {{2023}},

 month = {{1}},

 author = {{Koutsoukou-Argyraki A and Bakšys M and Edmonds C}},

 doi = {{10.1145/3573105.3575680}},

 isbn = {{9798400700262}},

 journal = {{CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs}},

 pages = {{225-238}},

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