C3-free minimum spans with a 447,254-addition LRAT proof, five zero-sum theorems including exponent log_7(3) > 1/2, and the Erdos 564 expedition
Lean Updated 28 days ago 1 commits
prism-dev|Mirror: jaredwilder/additive-combinatorics-campaigns (⭐0)
28 days agoAbout
C3-free minimum spans with a 447,254-addition LRAT proof, five zero-sum theorems including exponent log_7(3) > 1/2, and the Erdos 564 expedition
Readme