Formalized papers

A Capacity Criterion for Four-State Potts Reconstruction on Trees

Summary. 4 result(s) of the paper were examined. None was found wrong as printed. In Lean: 3 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 2ae909fb5dc2e9fe45ac5a4668fe2ceee6498b74b5e7e9f283cc6d3b44c1b7d1 — 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.