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 about 1 month ago 1 commits
prism-dev|Mirror: jaredwilder/additive-combinatorics-campaigns (⭐0)
about 1 month 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