Kata
Sign Up
Kata
Kumite
Forum
Wiki
Leaders
Log In
Sign Up
8 kyu
Loading Kata: Theorem proving hello world: prove a+0=a and 0+a=a
Confirm