Formalized papers

Estimation of Treatment Effects in Extreme and Unobserved Data

Summary. 7 result(s) of the paper were examined. 5 were found wrong as printed: 5 corrected (5 by a weaker statement), 0 not repaired. In Lean: 7 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 770081c9d1171cf3f395677358785d020af928c2f4a508ff8d2a54aec3e52527 — 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.