Loading the paper…
Graph Decompositions at the Integral Expectation Threshold
10/10 proved in LeanNo revisions required33 clarificationsDepends on 3 cited results107M tokens
Summary. 9 result(s) of the paper were examined. None was found wrong as printed. In Lean: 8 proved, 1 taken from the literature as cited, 0 not certified, 0 not formalized.
- REPORT.md — the report: what was revised and what was proved
- Revised PDF — the paper with its revisions
- lean/ — the Lean code
seal edfa613ad3856ca976b2e587698592c3decf74f94ae2cc5171f2de9e17aae3ee — a checksum of the reviewers' verdicts and every file of the bundle. It shows the bundle is complete and unchanged; it does not show who ran the check.