2025

ICan’tBelieveICanProveItCanSort!
October 21, 2025
Doing Something Actually Useful With Formal Verification
March 24, 2025
Formally Verifying Fenwick Trees
March 15, 2025
ICanProveItCanSort!
February 23, 2025