Breaking “Provably Correct” Leftpad

• October 4, 2025