8 kyu

Loading Kata: Theorem proving hello world: prove a+0=a and 0+a=a