Improve problem 3a lower bound to 1.1835129324... (exact-count certificate)#95

teorth merged 4 commits into

teorth:mainteorth/optimizationproblems:mainfrom

463464q435q43:improve-3a-lower-bound463464q435q43/optimizationproblems:improve-3a-lower-boundCopy head branch name to clipboard