A Formalisation of the Balog-Szemerdi-Gowers Theorem in Isabelle/HOL.

Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds

Browse the full CPP paper archive.