6 kyu

Loading Kata: Verified leftpad (Theorem prover showdown #1)