Loading A+A=B+B so A=B? Prove it in Haskell!

4 kyu

Loading A+A=B+B so A=B? Prove it in Haskell!

4 kyu

A+A=B+B so A=B? Prove it in Haskell!

Loading description...

Theorem Proving
Functional Programming
Fundamentals
Your output will be shown here