2025

ICan’tBelieveICanProveItCanSort!
October 21, 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