Certificate, proof and two independent Arb checkers for C82 < 0.25360615 (essential minimum of the Zhang-Zagier height, Tao's optimization-constants table 82a)
Python Updated 5 days ago 1 commits
helix-ai|Mirror: rpinho/c82-height-certificate (⭐0)
5 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Certificate, proof and two independent Arb checkers for C82 < 0.25360615 (essential minimum of the Zhang-Zagier height, Tao's optimization-constants table 82a)
Readme