@inproceedings{inproceedings, title = {{A formalisation of the Balog鈥揝zemer茅di鈥揋owers 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 2025/04/14}}}