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

8 kyu

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

8 kyu

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

95 of 361ice1000
Loading description...

Theorem Proving
Fundamentals
Your output will be shown here