Preliminary, unrefereed two-sided partial progress on Erdős Problem 302, with an exact upper finite certificate, an end-to-end Lean-checked upper bound, and a Lean-checked lower bound through pinned external formal developments.
Python Updated about 2 months ago 1 commits
prism-dev|Mirror: khanukov/erdos302 (⭐0)
about 2 months agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Preliminary, unrefereed two-sided partial progress on Erdős Problem 302, with an exact upper finite certificate, an end-to-end Lean-checked upper bound, and a Lean-checked lower bound through pinned external formal developments.
Readme