TY  - RPRT
TI  - A Formalisation of a Special Case of the Union-Closed Conjecture in Isabelle/HOL
AU  - Angeliki Koutsoukou-Argyraki
AU  - Lawrence C. Paulson
PY  - 2026
UR  - https://arxiv.org/abs/2609.20876
ID  - 2609.20876
ER  -