Improve C_3a lower bound via Lean-formalized controlled-carry semigroup mask-digit construction - #146

Improve C_3a lower bound via Lean-formalized controlled-carry semigroup mask-digit construction#146

teorth merged 4 commits into

teorth:mainteorth/optimizationproblems:mainfrom

kleinwaks:improve-c3a-lower-bound-controlled-carrykleinwaks/optimizationproblems:improve-c3a-lower-bound-controlled-carryCopy head branch name to clipboard