{{TITLE}}

<picture><source media="(prefers-color-scheme: dark)" srcset="figures/avatar-dark.png"><img alt="avatar" src="figures/avatar-light.png"></picture>

One paragraph a stranger enjoys: the claim in plain words, and why anyone should care.

!The figure.

Theorem. The headline result, stated once, in GitHub math.

One paragraph of how it is proved, and what the scripts re-check.

• paper.pdf - the paper.
• tectonic paper.tex rebuilds it; python3 scripts/verify.py reruns every check.