feat: Formalize Degree-1 Fourier Weight Conjecture (O'Donnell)#3807
Open
AlexeyMilovanov wants to merge 7 commits into
Open
feat: Formalize Degree-1 Fourier Weight Conjecture (O'Donnell)#3807AlexeyMilovanov wants to merge 7 commits into
AlexeyMilovanov wants to merge 7 commits into
Commits
Commits on Apr 20, 2026
Commits on May 4, 2026
- authored
- committed
- committed