Beta

Loading Kata: Program Verification #6: Fast Fibonacci numbers