Breaking “provably correct” Leftpad
I don’t know much about about formal methods, so a while back I read Hillel Wayne’s post Let’s prove Leftpad…
I don’t know much about about formal methods, so a while back I read Hillel Wayne’s post Let’s prove Leftpad…