Loading the paper…
Linear Variance of the Random 3-SAT Hitting Time
10/10 proved in LeanNo revisions required38 clarificationsDepends on 1 cited result105M tokens
Summary. 11 result(s) of the paper were examined. None was found wrong as printed. In Lean: 10 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 ad725eda2ce38123a42ea218b690990bfa169acd8107a0c3863e8db0f5046d2b — 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.