Chvátal's conjecture and sharp Boolean correlation

Source: arxiv:2609.19123v1, url:https://github.com/boonsuan/chvatal Authors: Boon Suan Ho, Chvatal formalization contributors Status: verified Main declarations: Chvatal.chvatal, Chvatal.sharp_correlation Tags: extremal-combinatorics, intersecting-families, Fourier-analysis MSC: 05D05, 60E15