3 kyu

Loading Kata: Program Verification #2: Fibonacci numbers