Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence
The verification script beside this page
certifies the finite computations documented on
Proposition 5.2
and the explicit example on
the accepted manuscript example;
both pages state its command, expected runtime and failure behavior. Its
inputs are literal constants. Dependencies are the standard library and the root tools package of the
repository environment; every obligation is recorded through the shared
Checker, and any failure exits nonzero, including under python -O.
Graph