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

Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson

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 = "\url{https://www.isa-afp.org/entries/Szemeredi_Regularity.html} ",

year = "2021",

month = nov,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}