-
Notifications
You must be signed in to change notification settings - Fork 81
Pull requests: teorth/optimizationproblems
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Improve C_3a lower bound via Lean-formalized controlled-carry semigroup mask-digit construction
#146
opened Aug 14, 2026 by
kleinwaks
Contributor
Loading…
Sync C_47 lower bound in README with the constant page
#144
opened Aug 13, 2026 by
Chessing234
Contributor
Loading…
Update de Bruijn-Newman and Fourier Entropy-Influence constants in README.md according to the latest changes
#128
opened Jul 18, 2026 by
Smetalo
Contributor
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.