Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence
The standalone main.py implements the finite diagnostics described on the
owning research page.
Its mathematical inputs are the stated finite domains in the program; no
external data or cached output is required. Failed obligations return a
nonzero exit code.
Graph