2025

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