2025

Proving Fermat’s Last Theorem in Dafny
August 3, 2025
Proving That Fenwick Trees are Fast
April 10, 2025
The Only Correct Way to Open Bananas (100% Reliable Confirmed)
April 6, 2025
Doing Something Actually Useful With Formal Verification
March 24, 2025
Formally Verifying Fenwick Trees
March 15, 2025
ICanProveItCanSort!
February 23, 2025