Szemerédi's Regularity Lemma (Formal proof development)

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{caeb119ba85e4225b38256e7912bdd32,

title = "Szemer{\'e}di's Regularity Lemma (Formal proof development)",

author = "Chelsea Edmonds and Angeliki Koutsoukou-Argyraki and Paulson, \{Lawrence C.\}",

note = "\textbackslash{}url\{https://www.isa-afp.org/entries/Szemeredi\_Regularity.html\} ",

year = "2021",

month = nov,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}