C_47: lower bound 1.68550999 via a weighted lattice (Lean, registered on Palomar) - #192

C_47: lower bound 1.68550999 via a weighted lattice (Lean, registered on Palomar)#192

CoolRmal wants to merge 2 commits into

teorth:mainteorth/optimizationproblems:mainfrom

CoolRmal:c47-lower-bound-weighted-latticeCoolRmal/optimizationproblems:c47-lower-bound-weighted-latticeCopy head branch name to clipboard