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