Items where authors include "Bakšys, M."

Proceedings Paper

Koutsoukou-Argyraki, A., Bakšys, M. and Edmonds, C. orcid.org/0000-0002-8559-9133 (2023) A formalisation of the Balog–Szemerédi–Gowers theorem in Isabelle/HOL. In: CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 16-17 Jan 2023, Boston, MA, USA. Association for Computing Machinery (ACM) , pp. 225-238. ISBN 9798400700262