Boolean Functions

March 13, 2026

Work in progress.

$\LaTeX$ test. A boolean function: $f : \{0, 1\}^n \rightarrow \{0, 1\}$ See O’Donnell’s Analysis of Boolean Functions

TODO: have Anki flashcards embedded into this website.

TODO: (auto)formalize some simpler proofs in Lean and embed a Lean environment into this webiste.