Formal verification at scale

We verify machine‑generated mathematics at the scale it is produced.