6 kyu

Loading Kata: Program Verification #1: The sum of an arithmetic progression