Loading the paper…
Paired states and Hamiltonian cycles in cubic bipartite planar graphs
12/12 proved in LeanNo revisions required27 clarificationsDepends on 2 cited results249M tokens
Summary. 12 result(s) of the paper were examined. None was found wrong as printed. In Lean: 12 proved, 0 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 b7a6f9e6bb1f2e19c004dab9abaf8d4a2c33fd4ddc0e3d75041dc2d0e5034f79 — 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.