2025

Proving That Fenwick Trees are Fast
Doing Something Actually Useful With Formal Verification
Formally Verifying Fenwick Trees
ICanProveItCanSort!