techno-optimist / erdos-minimum-overlap-bound Star 0 Code Issues Pull requests A tighter proven upper bound for the Erdős minimum overlap constant, with machine-verifiable certificates (note + code + certs). combinatorics interval-arithmetic number-theory erdos computer-assisted-proof minimum-overlap-problem Updated Jul 4, 2026 Python
occisn / erdos-36-certified-lower-bound Star 0 Code Issues Pull requests Discussions Open, fully rigorous re-certification of White's lower bound for Erdős's minimum-overlap problem (#36), with an independent verifier reproducible-research computer-assisted-proof erdos-problems certified-computation verified-computation minimum-overlap-problem erdos-problem-36 Updated Jun 30, 2026 Python