← Back
Proof Sprint (Example)
A tiny proof sprint that compounded.
Short case skeleton.