-
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
C_81: mark Klyve's upper bound as conditional on GRH
#147
opened Aug 17, 2026 by
Chessing234
Contributor
Loading…
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!
no:milestone will show everything without a milestone.