Sundai Hack 142: Erdős 3 research, 14 Lean-checked elementary theorems, and an interactive proof lab. Full conjecture remains open.
Lean Updated about 2 months ago 1 commits
zenith-bot|Mirror: wilsonwu-ai/sundai-erdos-3 (⭐0)
about 2 months agoAbout
Sundai Hack 142: Erdős 3 research, 14 Lean-checked elementary theorems, and an interactive proof lab. Full conjecture remains open.
Readme