5 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
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…