Other
A Lean 4 structural blueprint of the ALWZ information-theoretic bound for the Erdős-Rado Sunflower Lemma.
Latest commits.
Builders behind this project.
