December 11, 2023

Why we should quote eat-and-run verification