Proved, Certified, Swept, Sampled
A sixty-page paper where written proofs, kernel-checked theorems, exact box certificates and plain sampling all print with the same face. Four labels, one per claim, and the case that made me insist on them: a certificate that reported green at exactly the configuration the proof turned on.
Read more →