Transitive Union-Closed Families (Formal proof development)

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

Access to Document

@article{48b2b81a2ce8415b8befeea0a3961bf1,

title = "Transitive Union-Closed Families (Formal proof development)",

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

note = "\textbackslash{}url\{https://www.isa-afp.org/entries/Transitive\_Union\_Closed\_Families.html\}",

year = "2025",

month = jan,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}