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
checks the record example documented on
the Section 4 record example,
which states 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