From open mathematical certificates to Atomicium.org — building rigorous, beautiful tools for science and discovery.
- Atomicium.org
-
Joined
May 4, 2026
Pinned Loading
-
graham-rearrangement-certificates
graham-rearrangement-certificates PublicExecutable certificate framework for a proof candidate of Graham’s rearrangement conjecture / Erdős #475, with local branch checkers and reproducible audit scripts.
TeX 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.