Formalized papers

An Exact Semidefinite Lift of a Nonspectrahedral Hyperbolicity Cone

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