2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2026
A Formalisation of a Special Case of the Union-Closed Conjecture in Isabelle/HOL
Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
A 2021 proof of a special case of the Union-Closed Conjecture, by Aaronson, Ellis and Leader, has been formalised in the proof assistant Isabelle/HOL. Our discussion involves sketc…
cs.LO2023★ 2 cited
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
Chelsea Edmonds, Lawrence C. Paulson
Formalised libraries of combinatorial mathematics have rapidly expanded over the last five years, but few use one of the most important tools: probability. How can often intuitive…