Lean repository linked

A Proof of the Most Informative Boolean Function Conjecture

Zijie Chen, Amin Gohari, Adel Javanmard, Honghao Lin, Vahab Mirrokni, Chandra Nair, David P. Woodruff · 2026

arXiv:2609.24931 · arXiv

Lean formalisations (1)

Linked by the repository’s formalization.yaml.

Project review: agent-reviewed

Audit: awaiting publication.