8 kyu

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

153 of 360ice1000
You have not earned access to this kata's solutions

Solutions are locked for kata ranked far above your rank. Rank up or complete this kata to view the solutions.