Breaking “provably correct” Leftpad (by spookylukey) — discussion

#formalmethods