Beta

Loading Kata: Program Verification #5: The sum of a geometric progression