Formalized papers

Partial Identification of Policy-Relevant Treatment Effects with Instrumental Variables via Optimal Transport

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 609539a4bcc0b670b98f3bb7d2a3aabce0327957ddff7cf38f776d04f42e96f4 — 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.