2025

Proving Fermat’s Last Theorem in Dafny
August 3, 2025
Proving That Fenwick Trees are Fast
April 10, 2025
Doing Something Actually Useful With Formal Verification
March 24, 2025
Formally Verifying Fenwick Trees
March 15, 2025
ICanProveItCanSort!
February 23, 2025