Data
Datasets, and every file attached to an entry: raw measurements, logs, scripts, tables and figures. Each file is listed with its SHA-256 checksum, so a download can be checked against what was published.
1 file, 462 KB in total
Research materials
1| File | From entry | Size | SHA-256 |
|---|---|---|---|
| The paper (release version 1.0, 18 pages) erdos-357-bounds.pdf | QL-0023 Erdős Problem 357: bounds on sequences with distinct consecutive sums, formalized in Lean | 462 KB | 4a4f2e5141c1… |